1226 search results - page 187 / 246 » Proofs, Programs and Abstract Complexity |
110
click to vote
MEMOCODE
2010
IEEE
14 years 9 months ago
2010
IEEE
Electronic System Level (ESL) design manages the complexity of todays systems by using abstract models. In this context Transaction Level Modeling (TLM) is state-of-theart for desc...
CAV
2009
Springer
16 years 12 days ago
2009
Springer
D-Finder tool implements a compositional method for the verification of component-based systems described in BIP language encompassing multi-party interaction. For deadlock detecti...
111
click to vote
JUCS
2008
14 years 12 months ago
2008
Abstract: Collaborative learning systems can be constructed following the serviceoriented computing paradigm. This allows educators to integrate external tools, offered as services...
MOBIHOC
2008
ACM
15 years 11 months ago
2008
ACM
ization of domain-specific programming abstractions for wireless sensor actor networks can greatly ease application development. A high level of abstraction from underlying system...
WWW
2006
ACM
15 years 5 months ago
2006
ACM
A Service oriented system emerges from composition of services. Dynamically composed reactive Web services form a special class of service oriented system, where the delays associ...