4418 search results - page 429 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
195
click to vote
HT
2005
ACM
16 years 13 days ago
2005
ACM
Hyperlinks are an essential feature of the World Wide Web, highly responsible for its success. XLink improves on HTML’s linking capabilities in several ways. In particular, link...
158
click to vote
ATAL
2007
Springer
16 years 1 months ago
2007
Springer
We present a simple ant model that solves a discrete foraging problem. We describe simulations and provide a complete convergence analysis: we show that the ant population compute...
193
click to vote
FM
2006
Springer
15 years 10 months ago
2006
Springer
Symmetry reduction techniques can help to combat the state space explosion problem for model checking, but are restricted by the hard problem of determining equivalence of states d...
176
click to vote
DAC
1998
ACM
16 years 7 months ago
1998
ACM
The growing class of portable systems, such as personal computing and communication devices, has resulted in a new set of system design requirements, mainly characterized by domin...
175
click to vote
ICDCSW
2006
IEEE
16 years 28 days ago
2006
IEEE
Subscription pruning has been proven as valuable routing optimization for Boolean subscriptions in publish/subscribe systems. It aims at optimizing subscriptions independently of ...