2205 search results - page 156 / 441 » Mutation Operators for Specifications |
TMC
2010
13 years 8 months ago
2010
—In mobile ad hoc networks, there are many applications in which mobile users share information, e.g., collaborative rescue operations at a disaster site and exchange of word-of-...
ISOLA
2010
Springer
13 years 7 months ago
2010
Springer
Safety-critical distributed real-time systems, such as networked medical devices, must operate according to their specification, because incorrect behaviour can have fatal conseque...
GI
2009
Springer
13 years 7 months ago
2009
Springer
: The IP Multimedia Subsystem (IMS) is becoming the de facto overlay network for enabling the delivery of multimedia services in converged networks. Because it is envisioned that t...
ERSHOV
2009
Springer
14 years 1 months ago
2009
Springer
A term t is called a template of terms t1 and t2 iff t1 = t1 and t2 = t2, for some substitutions 1 and 2. A template t of t1 and t2 is called the most specific iff for any template...
FPL
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. In Reconfigurable Systems-On-Chip (RSoCs), operating systems can primarily (1) manage the sharing of limited reconfigurable resources, and (2) support communication betwe...