2477 search results - page 309 / 496 » First-Order Interactive Programming |
127
click to vote
ISEUD
2009
Springer
15 years 8 months 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...
119
click to vote
CHIMIT
2009
ACM
15 years 8 months 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...
105
Voted
ISSTA
2009
ACM
15 years 8 months 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...
139
click to vote
ISSRE
2008
IEEE
15 years 8 months 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...
71
Voted
ISMAR
2007
IEEE
15 years 8 months 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...