Sciweavers

1527 search results - page 13 / 306
» From Requirements to Design: Formalizing the Key Steps
Sort
View
CAISE
2000
Springer
14 years 11 hour ago
A Formal Model for Business Process Modeling and Design
We present a formal framework for representing enterprise knowledge. The concepts of our framework (objectives and goals, roles and actors, actions and processes, responsibilities ...
Manolis Koubarakis, Dimitris Plexousakis
COMPSAC
2002
IEEE
14 years 19 days ago
Formalizing Incremental Design in Real-time Area: SCTL/MUS-T
Achievement of quality in software design, while never easy, is made more difficult by the inherent complexity of hard real-time (HRT) design. Furthermore, timing requirements in...
Ana Fernández Vilas, José J. Pazos A...
SI3D
1992
ACM
13 years 11 months ago
Lights from Highlights and Shadows
Designing the illumination of a scene is a di cult task because one needs to render the whole scene in order to look at the result. Obtaining the correct lighting e ects may requi...
Pierre Poulin, Alain Fournier
BIS
2010
185views Business» more  BIS 2010»
13 years 5 months ago
From Economic Drivers to B2B Process Models: A Mapping from REA to UMM
Inter-organizational B2B systems are most likely tending to change their business requirements over time - e.g. establishing new partnerships or change existing ones. The problem i...
Rainer Schuster, Thomas Motal, Christian Huemer, H...
AOSE
2005
Springer
14 years 1 months ago
Operational Modelling of Agent Autonomy: Theoretical Aspects and a Formal Language
Autonomy has always been conceived as one of the defining attributes of intelligent agents. While the past years have seen considerable progress regarding theoretical aspects of a...
Gerhard Weiß, Felix A. Fischer, Matthias Nic...