2339 search results - page 319 / 468 » Models and Tools for Mulan Applications |
189
click to vote
IEEEMM
2002
15 years 6 months ago
2002
an abstract model for information sharing and integration and use it to develop an architecture for building open, component-based, interoperable systems. A geographic information ...
178
click to vote
ESORICS
2002
Springer
16 years 6 months ago
2002
Springer
We introduce the ISM approach, a framework for modeling and verifying reactive systems in a formal, even machine-checked, way. The framework has been developed for applications in ...
180
click to vote
MOBISYS
2007
ACM
16 years 6 months ago
2007
ACM
In response to the consistent increase of elder people living in their apartments, and the need for innovative non-obtrusive tools to connect elders to their caregivers, we starte...
203
click to vote
SACMAT
2009
ACM
16 years 1 months ago
2009
ACM
The existence of on-line social networks that include person specific information creates interesting opportunities for various applications ranging from marketing to community o...
178
click to vote
DATE
2006
IEEE
16 years 16 days ago
2006
IEEE
This paper proposes a novel HW/SW co-simulation approach that minimizes the impact on software designers. We propose a SystemC-based system that enables the software team to test ...