Sciweavers

2835 search results - page 241 / 567
» Common Semantics for Use Cases and Task Models
Sort
View
COMPSAC
2005
IEEE
15 years 10 months ago
Using AOP to Monitor and Administer Software for Grid Computing Environments
Monitoring is a task of collecting measurements that reflect the state of a system. Administration is a collection of tasks for control and manipulation of computer systems. Monito...
Mark Grechanik, Dewayne E. Perry, Don S. Batory
LICS
2009
IEEE
15 years 11 months ago
The Structure of First-Order Causality
Game semantics describe the interactive behavior of proofs by interpreting formulas as games on which proofs induce strategies. Such a semantics is introduced here for capturing d...
Samuel Mimram
ISMAR
2009
IEEE
15 years 11 months ago
Interactive model reconstruction with user guidance
Generating 3D models of real world objects is a common task during development of any augmented reality application. This paper describes how ProFORMA (Probabilistic Feature-based...
Qi Pan, Gerhard Reitmayr, Tom Drummond
ASWEC
2007
IEEE
15 years 11 months ago
Timed Behavior Trees and Their Application to Verifying Real-Time Systems
Behavior Trees (BTs) are a graphical notation used for formalising functional requirements and have been successfully applied to several case studies. However, the notation curren...
Lars Grunske, Kirsten Winter, Robert Colvin
WSC
2008
15 years 7 months ago
Simulation optimization for industrial scheduling using hybrid genetic representation
Simulation modeling has the capability to represent complex real-world systems in details and therefore it is suitable to develop simulation models for generating detailed operati...
Marcus Andersson, Amos Ng, Henrik Grimm