1541 search results - page 287 / 309 » Tools and Techniques for Model Checking Networked Programs |
108
Voted
OSDI
2004
ACM
16 years 22 days 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...
107
Voted
ICAIL
2003
ACM
15 years 5 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...
105
click to vote
ISMM
2009
Springer
15 years 7 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 ...
116
Voted
CONSTRAINTS
2008
15 years 16 days 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...
131
Voted
HICSS
1999
IEEE
15 years 4 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...