1604 search results - page 74 / 321 » Development Separation in Lambda-Calculus |
FTDCS
2003
IEEE
14 years 3 months ago
2003
IEEE
Ubicomp applications are characterized as situationaware, frequently-and-ephemerally-communicated and QoS-properties-associated. Using middleware to provide multiple QoS support f...
WCRE
2003
IEEE
14 years 3 months ago
2003
IEEE
In this paper we describe our approach to reconstructing the software architecture of J2EE web applications. We use the Siemens Four Views approach, separating the architecture in...
ICSE
2001
IEEE-ACM
14 years 2 months ago
2001
IEEE-ACM
It is now generally accepted that separating software architecture into multiple views can help in reducing complexity and in making sound decisions about design trade-offs. Our f...
PCI
2001
Springer
14 years 2 months ago
2001
Springer
Formal modeling of complex systems is a non-trivial task, especially if a formal method does not facilitate separate development of the components of a system. This paper describes...
APNOMS
2006
Springer
14 years 1 months ago
2006
Springer
Many researches on context aware computing are carried out around the world. Among them, Context-Toolkit and Semantic Space provide separation of concerns between sensor and applic...