1541 search results - page 235 / 309 » Tools and Techniques for Model Checking Networked Programs |
152
click to vote
CGO
2011
IEEE
14 years 4 months ago
2011
IEEE
— The emergence and wide adoption of web applications have moved the client-side component, often written in JavaScript, to the forefront of computing on the web. Web application...
116
click to vote
LCTRTS
2010
Springer
14 years 10 months ago
2010
Springer
The automotive industry has a growing demand for the seamless integration of safety analysis tools into the model-based development toolchain for embedded systems. This requires t...
100
Voted
UIST
2003
ACM
15 years 5 months ago
2003
ACM
This paper presents a new GUI architecture for creating advanced interfaces. This model is based on a limited set of general principles that improve flexibility and provide capabi...
105
Voted
MOBISYS
2007
ACM
16 years 5 days ago
2007
ACM
In response to the consistent increase of elder people living in their apartments, and the need for innovative non-obtrusive tools to connect elders to their caregivers, we starte...
132
Voted
ICOODB
2009
14 years 10 months ago
2009
The integration of database and programming languages is made difficult by the different data models and type systems prevalent in each field. Functional-object query languages con...