229 search results - page 14 / 46 » Formal Modeling of RESTful Systems Using Finite-State Machin... |
152
Voted
CODES
2010
IEEE
15 years 1 months ago
2010
IEEE
Synchronous Dataflow (SDF) is a powerful analysis tool for regular, cyclic, parallel task graphs. The behaviour of SDF graphs however is static and therefore not always able to ac...
145
Voted
JUCS
2008
15 years 3 months ago
2008
: One focus of current software development is the re-use of components in the construction of systems. Software Adaptation facilitates the consequent need to adapt these component...
131
Voted
DAGSTUHL
2007
15 years 5 months ago
2007
: This is a position paper introducing blob computing: A Blob is a generic primitive used to structure a uniform computing substrate into an easier-to-program parallel virtual mach...
115
Voted
ALIFE
2007
15 years 3 months ago
2007
Robert Rosen’s central theorem states that organisms are fundamentally different to machines, mainly because they are ‘‘closed with respect to effcient causation.’’ The p...
128
Voted
SIMVIS
2004
15 years 5 months ago
2004
We present a rigorous formal - but transparent - specification of the semantics of a generic simulation-based 3D animation framework. Our system combines a SystemC simulation kern...