3515 search results - page 461 / 703 » On the semantics of Strategy Logic |
184
click to vote
EDOC
2006
IEEE
16 years 1 months ago
2006
IEEE
— It is a typical scenario that many organisations have their business processes specified independently of their business contracts. This is because of the lack of guidelines a...
199
click to vote
LICS
2005
IEEE
16 years 1 months ago
2005
IEEE
We introduce the language QML, a functional language for quantum computations on finite types. Its design is guided by its categorical semantics: QML programs are interpreted by ...
189
click to vote
ICCS
2005
Springer
16 years 1 months ago
2005
Springer
A main feature of many logics used in computer science is a means to express quantification. Usually, syntactical devices like variables and quantifiers are used for this purpose...
178
click to vote
FASE
2004
Springer
16 years 27 days ago
2004
Springer
Abstract. In this paper we present a novel approach for the predicative specification of user rights in the context of an object oriented use case driven development process. We e...
217
click to vote
TLDI
2003
ACM
16 years 22 days ago
2003
ACM
We extend Cyclone, a type-safe polymorphic language at vel of abstraction, with threads and locks. Data races can violate type safety in Cyclone. An extended type system staticall...