7288 search results - page 256 / 1458 » On process rate semantics |
168
click to vote
AUSAI
2004
Springer
16 years 7 hour ago
2004
Springer
This paper presents a formal method based on the high-level semantics of processes to reason about continuous change. With a case study we show how the semantics of processes can b...
214
click to vote
IPPS
2003
IEEE
15 years 12 months ago
2003
IEEE
In this paper, we have developed an operational semantic framework for a non-trival subset of Verilog which features event–driven computation, shared variable concurrency. The b...
190
click to vote
HCI
2009
15 years 4 months ago
2009
Abstract. The Web is constantly evolving into an unprecedented and continuously growing source of knowledge, information and services, potentially accessed at by anyone anytime, an...
178
click to vote
PDPTA
2010
15 years 4 months ago
2010
Abstract-- The success of Web Services as a tool to decouple and distribute different processes is beyond any doubt. On the one hand, their distributed nature makes them perfect to...
252
click to vote
DCEIS
2006
15 years 8 months ago
2006
During software engineering processes lots of artifacts are produced to document the development of a concrete software. For artifacts which are related with respect to their meani...