1541 search results - page 262 / 309 » Tools and Techniques for Model Checking Networked Programs |
103
click to vote
SIGMETRICS
2010
ACM
15 years 5 months ago
2010
ACM
Perhaps surprisingly, no practical performance models exist for popular (and complex) client applications such as Adobe’s Creative Suite, Microsoft’s Office and Visual Studio...
IFIP
2010
Springer
15 years 5 months ago
2010
Springer
This work presents a study about the use of Laban Movement Analysis (LMA) as a robust tool to describe human basic behavior patterns, to be applied in human-machine interaction. LM...
118
Voted
IFIP
1998
Springer
15 years 4 months ago
1998
Springer
The flexible integration of a range of disparate IT applications is a key requirement for today's global enterprises. The virtual enterprise, formed by a collection of collab...
104
Voted
BMCBI
2005
15 years 12 days ago
2005
Background: Biological resources are essential tools for biomedical research. Their availability is promoted through on-line catalogues. Common Access to Biological Resources and ...
119
Voted
AOSD
2009
ACM
15 years 7 months ago
2009
ACM
e is an aspect-oriented hardware verification language that is widely used to verify the design of electronic circuits through the development and execution of testbenches. In rec...