2409 search results - page 319 / 482 » Logical systems for structured specifications |
136
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Orc is a theory of orchestration of services that allows structured programming of distributed and timed computations. Several formal semantics have been proposed for Orc...
160
click to vote
CODES
2010
IEEE
15 years 2 months ago
2010
IEEE
The impact of process variation in state of the art technology makes traditional (worst case) designs unnecessarily pessimistic, which translates to suboptimal designs in terms of...
177
click to vote
FAST
2009
15 years 1 months ago
2009
Provenance describes how an object came to be in its present state. Thus, it describes the evolution of the object over time. Prior work on provenance has focussed on databases an...
145
click to vote
CODES
2006
IEEE
15 years 10 months ago
2006
IEEE
Designer productivity and design predictability are vital factors for successful embedded system design. Shrinking time-to-market and increasing complexity of these systems requir...
168
click to vote
AIRWEB
2008
Springer
15 years 6 months ago
2008
Springer
The annotation of web sites in social bookmarking systems has become a popular way to manage and find information on the web. The community structure of such systems attracts spam...