2477 search results - page 309 / 496 » First-Order Interactive Programming |
172
click to vote
ISEUD
2009
Springer
16 years 22 days ago
2009
Springer
Companies are operating in a dynamic environment, resulting in a continuous need of adapting used information systems to changing business processes and associated information need...
161
click to vote
CHIMIT
2009
ACM
16 years 21 days ago
2009
ACM
System administrators are end-users too. And as end-users, they develop tools, create web pages, write command-line scripts, use spreadsheets, and repurpose existing tools. In sho...
146
click to vote
ISSTA
2009
ACM
16 years 21 days ago
2009
ACM
This paper presents techniques for analyzing channel contract specifications in Microsoft Research’s Singularity operating system. A channel contract is a state machine that sp...
179
click to vote
ISSRE
2008
IEEE
16 years 17 days ago
2008
IEEE
Systems connected to the Internet are highly susceptible to denial-of-service attacks that can compromise service availability, causing damage to customers and providers. Due to e...
121
click to vote
ISMAR
2007
IEEE
16 years 14 days ago
2007
IEEE
3D graphics systems increasingly rely on sophisticated event systems derived from collision detection mechanisms, which support the discretisation of Physics as well as high-level...