3908 search results - page 143 / 782 » A model for service-oriented communication systems |
224
click to vote
CAV
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. We propose a new technique for the static analysis of concurrent programs comprised of multiple threads. In general, the problem is known to be undecidable even for progr...
173
click to vote
CAISE
2004
Springer
15 years 12 months ago
2004
Springer
Advanced Business Process Management (BPM) tools enable the decomposition of previously integrated and often ill-defined processes into reusable process modules. These process modu...
197
click to vote
RTCSA
2005
IEEE
16 years 3 days ago
2005
IEEE
The Software Communications Architecture (SCA) defined by Joint Tactical Radio Systems (JTRS) is the de facto standard middleware currently adopted by the Software Defined Radio (...
154
click to vote
WAC
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. This paper presents some important directions in the use of ontologybased semantics in achieving the vision of Autonomic Communications. We examine the requirements of Au...
155
click to vote
DSD
2007
IEEE
16 years 26 days ago
2007
IEEE
Design space exploration is used to shorten the design time of System-on-Chips (SoCs). The models used in the exploration need to be both accurate and fast to simulate. This paper...