4008 search results - page 157 / 802 » An expressive language of signatures |
198
click to vote
JAIR
1998
15 years 6 months ago
1998
A class of interval-based temporal languages for uniformly representing and reasoning about actions and plans is presented. Actions are represented by describing what is true whil...
145
click to vote
IFIP
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. This paper proposes a door access control system with mobile phones which allows off-line delegations of an access. A model of door access control with mobile phones is ...
143
click to vote
ESWS
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. The SPARQL Query Language allows filtering of query results through arbitrary predicate expressions. Such expressions may invoke custom functions identified with IRIs, ...
144
click to vote
ITICSE
2005
ACM
15 years 12 months ago
2005
ACM
FAdo1 is an ongoing project which aims the development of an interactive environment for symbolic manipulation of formal languages. In this paper we focus in the description of in...
149
click to vote
ERLANG
2003
ACM
15 years 11 months ago
2003
ACM
This paper presents a soft-typing system for the programming language Erlang. The system is based on two concepts; a (forward) data flow analysis that determines upper approximat...