244 search results - page 32 / 49 » A Model of Components with Non-regular Protocols |
119
click to vote
BTW
2003
Springer
15 years 5 months ago
2003
Springer
Abstract: This paper introduces the Internet Operating Platform (IOP), an enterprise framework for large scale software development. In addition to obeying to important standards (...
ICN
2001
Springer
15 years 4 months ago
2001
Springer
Internet is widely known for lacking any kind of mechanism for the provisioning of Quality of Service (QoS) guarantees. The Internet community currently concentrates its efforts on...
103
click to vote
USITS
2001
15 years 1 months ago
2001
Ubiquitous access to sophisticated internet services from diverse end devices across heterogeneous networks requires the injection of additional functionality into the network to ...
ASPDAC
2009
ACM
15 years 6 months ago
2009
ACM
- With increasing availability of predefined IP (Intellectual Properties) blocks and inexpensive microprocessors, embedded system designers are faced with more design choices than ...
LICS
1996
IEEE
15 years 3 months ago
1996
IEEE
We present a formal model for concurrent systems. The model represents synchronous and asynchronous components in a uniform framework that supports compositional (assume-guarantee)...