2473 search results - page 328 / 495 » The Logic of Communication Graphs |
143
click to vote
IEEEARES
2008
IEEE
16 years 29 days ago
2008
IEEE
Policy conformance is a security property gaining importance due to commercial interest like Digital Rights Management. It is well known that static analysis can be used to valida...
171
click to vote
WCRE
2008
IEEE
16 years 28 days ago
2008
IEEE
A business process contains a set of logically related tasks executed to fulfill business goals. Business applications enable organizations to automatically perform their daily op...
141
click to vote
DATE
2007
IEEE
16 years 27 days ago
2007
IEEE
AUTOSAR is a recent specification initiative which focuses on a model-driven architecture like methodology for automotive applications. However, needed engineering steps, or how-t...
167
click to vote
ECBS
2007
IEEE
16 years 27 days ago
2007
IEEE
Today, many software-based, reactive systems offer a multitude of functionality. One way to master the development of such a system is to model its functionality on an abstract le...
159
click to vote
MDM
2007
Springer
16 years 21 days ago
2007
Springer
Mobile phones are being increasingly equipped with sensors that ease retrieval of context information about a user. Context data can be aggregated with information centrally avail...