1432 search results - page 254 / 287 » Executable Protocol Models as a Requirements Engineering Too... |
105
click to vote
ICST
2010
IEEE
14 years 8 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...
EDBTW
2010
Springer
14 years 7 months ago
2010
Springer
Nowadays, due to the lack of face-to-face contact, distance course instructors have real difficulties knowing who their students are, how their students behave in the virtual cour...
WWW
2004
ACM
15 years 10 months ago
2004
ACM
The emerging standards for the publication of Web Services are focused on the specification of the static interfaces of the operations to be invoked, or on the service composition...
CGO
2007
IEEE
15 years 1 months ago
2007
IEEE
In profiling, a tradeoff exists between information and overhead. For example, hardware-sampling profilers incur negligible overhead, but the information they collect is consequen...
102
click to vote
EUROSYS
2011
ACM
14 years 1 months ago
2011
ACM
Parallel software is increasingly necessary to take advantage of multi-core architectures, but it is also prone to concurrency bugs which are particularly hard to avoid, find, an...