2518 search results - page 445 / 504 » Using Communication Objects During Requirements Analysis |
133
click to vote
EUROCAST
2007
Springer
15 years 6 months ago
2007
Springer
Abstract Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulas on the program variables. Most of m...
119
click to vote
WETICE
2008
IEEE
15 years 9 months ago
2008
IEEE
The importance of aviation security has increased dramatically in recent years. Frequently changing regulations and the need to adapt quickly to new and emerging threats are chall...
125
click to vote
CIVR
2007
Springer
15 years 9 months ago
2007
Springer
Large archives of Ottoman documents are challenging to many historians all over the world. However, these archives remain inaccessible since manual transcription of such a huge vo...
123
click to vote
IPSN
2009
Springer
15 years 9 months ago
2009
Springer
We consider a scenario in which there are resources at or near nodes of a network, which are either static (e.g. fire stations, parking spots) or mobile (e.g. police cars). Over ...
160
click to vote
NOMS
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract—Peer-to-peer (P2P) systems show numerous advantages over centralized systems, such as load balancing, scalability, and fault tolerance, and they require certain function...