3053 search results - page 488 / 611 » Structured Objects: Modeling and Reasoning |
112
click to vote
ICCL
1998
IEEE
15 years 6 months ago
1998
IEEE
We describe Triveni, a framework and API for integrating threads and events. The design of Triveni is based on an algebra, including preemption combinators, of processes. Triveni ...
110
Voted
VL
1997
IEEE
15 years 6 months ago
1997
IEEE
The large number of programming languages in the world is a consequence of the broad spectrum of human preferences for different notational styles and semantic models, which depen...
140
click to vote
DEEC
2006
IEEE
15 years 5 months ago
2006
IEEE
Abstract. Engineering workflow applications are becoming more and more complex, involving numerous interacting business objects within considerable processes. Analysing the interac...
112
click to vote
FORMATS
2006
Springer
15 years 5 months ago
2006
Springer
We add freeze quantifiers to the game logic ATL in order to specify real-time objectives for games played on timed structures. We define the semantics of the resulting logic TATL b...
113
click to vote
COMPGEOM
2008
ACM
15 years 3 months ago
2008
ACM
A web application is presented to compute, plot, and interactively explore planar arrangements induced by algebraic plane curves of arbitrary degree. It produces accurate curve pl...