Sciweavers

1050 search results - page 121 / 210
» Generating Executable Scenarios from Natural Language
Sort
View
121
Voted
COMPSAC
2009
IEEE
15 years 8 months ago
Towards the Operational Semantics of User-Centric Communication Models
Abstract—The pervasiveness of complex communication services and the need for end-users to play a greater role in developing communication services have resulted in the creation ...
Yingbo Wang, Yali Wu, Andrew A. Allen, Barbara Esp...
157
Voted
COOPIS
2004
IEEE
15 years 7 months ago
Comparing Approaches for Semantic Service Description and Matchmaking
Matching descriptions of user requirements against descriptions of service capabilities is crucial for the discovery of appropriate services for a given task. To improve the precis...
Sven Schade, Arnd Sahlmann, Michael Lutz, Florian ...
121
Voted
EMSOFT
2005
Springer
15 years 9 months ago
Using de-optimization to re-optimize code
The nature of embedded systems development places a great deal of importance on meeting strict requirements in areas such as static code size, power consumption, and execution tim...
Stephen Hines, Prasad Kulkarni, David B. Whalley, ...
FLAIRS
2008
15 years 6 months ago
Longboard: A Sketch Based Intelligent Storyboarding Tool for Creating Machinima
Real-time 3D game environments provide a compelling medium for cinematic storytelling. Professional filmmakers have started using them for pre-visualization. They provide a low-co...
Arnav Jhala, Curtis Rawls, Samuel Munilla, R. Mich...
149
Voted
POPL
2000
ACM
15 years 7 months ago
Resource Bound Certification
Various code certification systems allow the certification and static verification of important safety properties such as memory and control-flow safety. These systems are valuabl...
Karl Crary, Stephanie Weirich