3381 search results - page 612 / 677 » Using VCL as an Aspect-Oriented Approach to Requirements Mod... |
132
click to vote
IMC
2007
ACM
15 years 7 months ago
2007
ACM
An experimental study of the feasibility and accuracy of the acyclicity approach introduced in [14] for the inference of business relationships among autonomous systems (ASes) is ...
149
click to vote
CLEF
2006
Springer
15 years 9 months ago
2006
Springer
The University of Maryland participated in the English and Czech tasks. For English, one monolingual run using only fields based on fully automatic transcription (the required con...
189
click to vote
ATVA
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. In this paper, we give an algorithm for fault-tolerant proactive leader election in asynchronous shared memory systems, and later its formal verification. Roughly speakin...
191
click to vote
DAC
2008
ACM
15 years 7 months ago
2008
ACM
Battery lifetime and safety are primary concerns in the design of battery operated systems. Lifetime management is typically supervised by the system via battery-aware task schedu...
155
click to vote
ESORICS
2010
Springer
15 years 6 months ago
2010
Springer
We carry out attacks using Internet services that aim to keep telephone devices busy, hindering legitimate callers from gaining access. We use the term DIAL (Digitally Initiated A...