7918 search results - page 1010 / 1584 » Model Composition Directives |
217
click to vote
NMR
2004
Springer
16 years 18 days ago
2004
Springer
All major semantics of normal logic programs and normal logic programs with aggregates can be described as fixpoints of the one-step provability operator or of operators that can...
197
click to vote
RAID
2004
Springer
16 years 18 days ago
2004
Springer
Abstract. Attack analysis is a challenging problem, especially in emerging environments where there are few known attack cases. One such new environment is the Mobile Ad hoc Networ...
185
click to vote
GLVLSI
2003
IEEE
16 years 16 days ago
2003
IEEE
A critical part of the design of HW/SW systems concerns the definition of the HW/SW interface. Such interfaces do not directly map a functionality of the system description, but ...
191
click to vote
ICNP
2003
IEEE
16 years 16 days ago
2003
IEEE
This paper presents an analytical model to compute the average service time and jitter experienced by a packet when transmitted in a saturated IEEE 802.11 ad hoc network. In contr...
198
click to vote
DFG
2003
Springer
16 years 14 days ago
2003
Springer
Due to the fast growth of internet based electronic business activities, languages for modeling as well as methods for analyzing and executing distributed business processes are be...