4255 search results - page 653 / 851 » Database: Models, Languages, Design |
189
click to vote
ICALP
2009
Springer
16 years 6 months ago
2009
Springer
Abstract. We propose the study of graphs that are defined by lowcomplexity distributed and deterministic agents. We suggest that this viewpoint may help introduce the element of in...
178
click to vote
IFIP
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. A transformation F between protocols associates the messages sent and received by participants in a protocol Π1 with messages sent and received in some Π2. Transformati...
185
click to vote
CISIS
2008
IEEE
16 years 1 months ago
2008
IEEE
The new era of multi-core processing challenges software designers to efficiently exploit the parallelism that is now massively available. Programmers have to exchange the conven...
170
click to vote
DATE
2007
IEEE
16 years 27 days ago
2007
IEEE
An emerging common trend in model-based design of embedded software and systems is the adoption of Domain-Specific Modeling Languages (DSMLs). While syntax metamodeling enables th...
143
click to vote
FDL
2005
IEEE
16 years 5 days ago
2005
IEEE
In today’s electronic system-level (ESL) design processes, an early analysis of a system’s communication and nce characteristics is becoming a key challenge. The availability ...