2278 search results - page 294 / 456 » Specification Techniques for Automatic Performance Analysis ... |
142
click to vote
SP
2008
IEEE
15 years 11 months ago
2008
IEEE
Web applications are ubiquitous, perform missioncritical tasks, and handle sensitive user data. Unfortunately, web applications are often implemented by developers with limited se...
122
click to vote
COMPSAC
2006
IEEE
15 years 10 months ago
2006
IEEE
Model-checking techniques are successfully used in the verification of both hardware and software systems of industrial relevance. Unfortunately, the capability of current techni...
127
click to vote
SIGSOFT
2004
ACM
16 years 5 months ago
2004
ACM
This paper introduces declarative event patterns (DEPs) as a means to implement protocols while improving their traceability, comprehensibility, and maintainability. DEPs are desc...
168
click to vote
MOBISYS
2007
ACM
16 years 4 months ago
2007
ACM
Wireless sensor networks have become increasingly common in everyday applications due to decreasing technology costs and improved product reliability. An ideal application for wire...
130
click to vote
IEEEPACT
2006
IEEE
15 years 10 months ago
2006
IEEE
Modeling and analysis of program behavior are at the foundation of computer system design and optimization. As computer systems become more adaptive, their efficiency increasingly...