Sciweavers

5353 search results - page 300 / 1071
» Modelling Contexts in the Or-BAC Model
Sort
View
ICWS
2009
IEEE
16 years 4 months ago
A Governance Model for SOA
Currently, business requirements for rapid operational efficiency, customer responsiveness as well as rapid adaptability are driving the need for ever increasing communication and...
Pierre de Leusse, Theodosis Dimitrakos, David Bros...
STACS
2010
Springer
16 years 1 months ago
Named Models in Coalgebraic Hybrid Logic
Hybrid logic extends modal logic with support for reasoning about individual states, designated by so-called nominals. We study hybrid logic in the broad context of coalgebraic sem...
Lutz Schröder, Dirk Pattinson
IRI
2008
IEEE
16 years 1 months ago
Modeling and synthesis of service composition using tree automata
— We revisit the problem of synthesis of service composition in the context of service oriented architecture from a tree automata perspective. Comparing to existing finite state...
Ken Q. Pu, Ying Zhu
176
Voted
HICSS
2007
IEEE
164views Biometrics» more  HICSS 2007»
16 years 1 months ago
Analyzing Knowledge Transfer Effectiveness--An Agent-Oriented Modeling Approach
Facilitating the transfer of knowledge between knowledge workers represents one of the main challenges of knowledge management. Knowledge transfer instruments, such as the experie...
Markus Strohmaier, Eric S. K. Yu, Jennifer Horkoff...
ICON
2007
IEEE
16 years 1 months ago
Erlang B as a Performance Model for IP Flows
— Flow-based networking has gained momentum in the research community in recent years. It allows improved performance guarantees and dynamic, load-aware routing. Flowbased networ...
Alexander A. Kist