Sciweavers

2813 search results - page 130 / 563
» Formalizing Architectural Connection
Sort
View
133
Voted
FIW
1998
104views Communications» more  FIW 1998»
15 years 6 months ago
Validating Architectural Feature Descriptions using LOTOS
The phases of the ANISE project (Architectural Notions In Service Engineering) are briefly explained with reference to the work reported here. An outline strategy is given for tra...
Kenneth J. Turner
AIEDAM
2002
100views more  AIEDAM 2002»
15 years 4 months ago
Drawing marks, acts, and reacts: Toward a computational sketching interface for architectural design
Architects use sketching and diagramming in their design process to perform functional reasoning, formal arrangements, analogy transfer, structure mapping, and knowledge acquisiti...
Ellen Yi-Luen Do
ICSOC
2009
Springer
15 years 2 months ago
A Reassessment of Enterprise Architecture Implementation
Abstract. Aside of day-to-day business in some organizations Enterprise Architecture (EA) seems to be successful while it is not in others that also have notations, models, methods...
Stephan Aier, Joachim Schelp
ACISICIS
2005
IEEE
15 years 10 months ago
A Comprehensive Middleware Architecture for Context-Aware Ubiquitous Computing Systems
Ubiquitous computing is viewed as a computing paradigm where minimal user intervention is necessitated emphasizing detection of environmental conditions and user behaviors in orde...
Anjum Shehzad, Hung Quoc Ngo, Sungyoung Lee, Young...
ECP
1997
Springer
88views Robotics» more  ECP 1997»
15 years 9 months ago
A Time and Resource Problem for Planning Architectures
This paper concerns the problem of resource reasoning in planning. It defines formally a constraint satisfaction problem, the Time and Resource Problem (T RP), in which resource r...
Amedeo Cesta, Cristiano Stella