Sciweavers

1606 search results - page 286 / 322
» Aspect Based Conceptual Modelling of Web Applications
Sort
View
ECRTS
2007
IEEE
14 years 3 months ago
Probabilistic Admission Control to Govern Real-Time Systems under Overload
Existing real-time research focuses on how to formulate, model and enforce timeliness guarantees for task sets whose correctness has a temporal aspect. However, the resulting syst...
Claude-Joachim Hamann, Michael Roitzsch, Lars Reut...
HICSS
2003
IEEE
124views Biometrics» more  HICSS 2003»
14 years 2 months ago
A Framework for Strategic Balancing of Knowledge Management Initiatives
Enterprises need to understand the impact of different types of knowledge management (KM) approaches on business strategy, and how they interact with other types of initiatives to...
Jan Aidemark, Håkan Sterner
CCS
2001
ACM
14 years 1 months ago
The faithfulness of abstract protocol analysis: message authentication
hfulness of Abstract Protocol Analysis: Message Authentication∗ Joshua D. Guttman F. Javier Thayer Lenore D. Zuck December 18, 2002 Dolev and Yao initiated an approach to studyi...
Joshua D. Guttman, F. Javier Thayer, Lenore D. Zuc...
ATAL
2007
Springer
14 years 28 days ago
Temporal linear logic as a basis for flexible agent interactions
Interactions between agents in an open system such as the Internet require a significant degree of flexibility. A crucial aspect of the development of such methods is the notion o...
Duc Quang Pham, James Harland
MMS
2008
13 years 8 months ago
The canonical expression of the drama product manufacturing processes
As the broadcast industry is evolving toward IT-based facilities, the production workflows and their associated production metadata should similarly take advantage of IT commoditi...
Dieter Van Rijsselbergen, Barbara Van De Keer, Rik...