Sciweavers

12487 search results - page 2026 / 2498
» Graspable Work Modeling
Sort
View
OOPSLA
2007
Springer
16 years 1 months ago
Synthesizing reactive systems from LSC requirements using the play-engine
Live Sequence Charts (LSCs) is a scenario-based language for modeling object-based reactive systems with liveness properties. A tool called the Play-Engine allows users to create ...
Hillel Kugler, Cory Plock, Amir Pnueli
OTM
2007
Springer
16 years 1 months ago
ImageNotion: Methodology, Tool Support and Evaluation
The content of image archives changes rapidly. This makes the traditional separation of ontology development and image annotation steps no longer feasible. In this paper, we presen...
Andreas Walter, Gábor Nagypál
OTM
2007
Springer
16 years 1 months ago
Bayesian Analysis of Secure P2P Sharing Protocols
Ad hoc and peer-to-peer (P2P) computing paradigms pose a number of security challenges. The deployment of classic security protocols to provide services such as node authentication...
Esther Palomar, Almudena Alcaide, Juan M. Est&eacu...
POLICY
2007
Springer
16 years 1 months ago
Web Rule Languages to Carry Policies
Recent efforts in the area of Web policy languages show concerns on how to better represent both context and rules of a domain to deal with large number of resources and users. In...
Nima Kaviani, Dragan Gasevic, Marek Hatala, Gerd W...
PPDP
2007
Springer
16 years 1 months ago
Interactive, scalable, declarative program analysis: from prototype to implementation
Static analyses provide the semantic foundation for tools ranging from optimizing compilers to refactoring browsers and advanced debuggers. Unfortunately, developing new analysis ...
William C. Benton, Charles N. Fischer
« Prev « First page 2026 / 2498 Last » Next »