3828 search results - page 297 / 766 » Proof-Based System Engineering Using a Virtual System Model |
204
click to vote
IS
1998
15 years 6 months ago
1998
Information modeling is concerned with the construction of computer-based symbol structures which capture the meaning of information and organize it in ways that make it understan...
180
click to vote
MATES
2005
Springer
16 years 3 days ago
2005
Springer
One aspect of rational behavior is that agents can pursue multiple goals in parallel. Current BDI theory and systems do not provide a theoretical or architectural framework for dec...
214
Voted
ADAEUROPE
2004
Springer
16 years 1 days ago
2004
Springer
This paper presents a modification of GLADE —the current GNAT implementation of the Ada 95 Distributed Systems Annex (DSA)— to support the development of distributed applicatio...
164
click to vote
CODES
2004
IEEE
15 years 10 months ago
2004
IEEE
Future embedded and wireless devices will be increasingly powerful supporting many applications including one of the most crucial, security. Although many wireless and embedded de...
186
click to vote
FAST
2010
15 years 9 months ago
2010
Live migration of virtual hard disks between storage arrays has long been possible. However, there is a dearth of online tools to perform automated virtual disk placement and IO l...