1541 search results - page 287 / 309 » Tools and Techniques for Model Checking Networked Programs |
142
click to vote
OSDI
2004
ACM
16 years 4 months ago
2004
ACM
This paper studies the use of statistical induction techniques as a basis for automated performance diagnosis and performance management. The goal of the work is to develop and ev...
142
click to vote
ICAIL
2003
ACM
15 years 9 months ago
2003
ACM
Problems with legal quality will not only increase effort and costs of the law enforcement organisations, but also undermines the regulating power of the legislator. Unintended us...
141
Voted
ISMM
2009
Springer
15 years 10 months ago
2009
Springer
Applying computer technology, such as computer vision in driver assistance, implies that processes and data are modeled as being discretized rather than being continuous. The area ...
151
Voted
CONSTRAINTS
2008
15 years 4 months ago
2008
We present the Auckland Layout Model (ALM), a constraint-based technique for specifying 2D layout as it is used for arranging the controls in a GUI. Most GUI frameworks offer layo...
169
click to vote
HICSS
1999
IEEE
15 years 8 months ago
1999
IEEE
In this paper, we motivate the importance of the field of mobile computing and survey current practical and formal approaches. We argue that the existing formalisms are not suffic...