Sciweavers

1634 search results - page 207 / 327
» Reasoning about Knowledge Using Rough Sets
Sort
View
ER
2007
Springer
105views Database» more  ER 2007»
14 years 4 months ago
Clarifying Goal Models
Representation and reasoning about information system (IS) requirements is facilitated with the use of goal models to describe the desired and undesired IS behaviors. One difficul...
Ivan Jureta, Stéphane Faulkner
ISPW
2005
IEEE
14 years 4 months ago
A Value-Based Process for Achieving Software Dependability
Since different systems have different success-critical stakeholders, and these stakeholders depend on the system in different ways, using traditional one-size-fits-all dependabili...
LiGuo Huang
ATAL
2003
Springer
14 years 3 months ago
Expressive global protocols via logic-based electronic institutions
Communication is the key feature of Multi-agent Systems. The interactions among components of a system may take many distinct forms of increasing complexity such as in auctions, n...
Wamberto Weber Vasconcelos
ICRA
2002
IEEE
108views Robotics» more  ICRA 2002»
14 years 3 months ago
Controlling Hopping Height of a Pneumatic Monopod
We describe a model-based height controller for a hopping robot with a pneumatically powered leg. The controller explicitly models variation in the leg angle and height. Using an ...
Kale Harbick, Gaurav S. Sukhatme
CP
2004
Springer
14 years 2 months ago
Unary Resource Constraint with Optional Activities
Scheduling is one of the most successful application areas of constraint programming mainly thanks to special global constraints designed to model resource restrictions. Among thes...
Petr Vilím, Roman Barták, Ondrej Cep...