72 search results - page 5 / 15 » Towards a Mathematical Foundation for Service-Oriented Appli... |
SACMAT
2011
ACM
12 years 10 months ago
2011
ACM
Cross domain resource sharing and collaborations have become pervasive in today’s service oriented organizations. Existing approaches for the realization of cross domain access ...
ESORICS
2006
Springer
13 years 11 months ago
2006
Springer
IDS research still needs to strengthen mathematical foundations and theoretic guidelines. In this paper, we build a formal framework, based on information theory, for analyzing and...
CAV
2009
Springer
14 years 2 months ago
2009
Springer
Systems and Networks on Chips (NoCs) are a prime design focus of many hardware manufacturers. In addition to functional verification, which is a difficult necessity, the chip desi...
CHI
2004
ACM
14 years 8 months ago
2004
ACM
This paper reports on the results of studies of task management to support the design of a task list manager. We examined the media used to record and organize to-dos and tracked ...
CDC
2008
IEEE
14 years 2 months ago
2008
IEEE
— This paper describes reachability calculations for a hybrid system formalism governing UAVs interacting with another vehicle in a safety-critical situation. We examine this pro...