7892 search results - page 1466 / 1579 » Programming with Models |
136
click to vote
ICST
2010
IEEE
14 years 12 months ago
2010
IEEE
—In this case study we test a landing gear control system of a military aircraft with the new version of LUTESS, a tool for testing automatically synchronous software. LUTESS req...
139
click to vote
JOT
2010
14 years 12 months ago
2010
To achieve the multi-agent systems’ goals, agents interact to exchange information, to cooperate and to coordinate their tasks. Interaction is generally recognized as an importa...
108
click to vote
OOPSLA
2010
Springer
14 years 12 months ago
2010
Springer
Fixing concurrency bugs (or crugs) is critical in modern software systems. Static analyses to find crugs such as data races and atomicity violations scale poorly, while dynamic a...
PVLDB
2010
14 years 12 months ago
2010
We report on a query compilation technique that enables the construction of alternative efficient query providers for Microsoft’s Language Integrated Query (LINQ) framework. LIN...
118
click to vote
RAS
2010
14 years 12 months ago
2010
An important drawback to the popular Belief, Desire, and Intentions (BDI) paradigm is that such systems include no element of learning from experience. We describe a novel BDI exe...