3908 search results - page 143 / 782 » A model for service-oriented communication systems |
255
click to vote
CAV
2005
Springer
16 years 18 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...
194
click to vote
CAISE
2004
Springer
16 years 13 days 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...
214
click to vote
RTCSA
2005
IEEE
16 years 19 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 (...
173
click to vote
WAC
2004
Springer
16 years 12 days 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...
168
click to vote
DSD
2007
IEEE
16 years 1 months 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...