634 search results - page 66 / 127 » Separability in the Ambient Logic |
SAS
2009
Springer
14 years 11 months ago
2009
Springer
In this paper we present a new shape analysis algorithm. The key distinguishing aspect of our algorithm is that it is completely compositional, bottom-up and non-iterative. We pres...
HUC
2007
Springer
14 years 5 months ago
2007
Springer
This paper presents Haggle, an architecture for mobile devices that enables seamless network connectivity and application functionality in dynamic mobile environments. Current appl...
EDOC
2006
IEEE
14 years 5 months ago
2006
IEEE
Business rules provide an elegant solution to manage dynamic business logic by separating business knowledge from its implementation logic. The drawback of most existing business ...
WSC
2007
14 years 1 months ago
2007
Co-design modeling is considered key toward handling the complexity and scale of network systems. The ability to separately specify the software and hardware aspects of computer n...
UML
2005
Springer
14 years 4 months ago
2005
Springer
The main drive for Model-Driven Architecture is that many software applications have to be deployed on a variety of platforms. The way MDA achieves this is by transforming a platfo...