Sciweavers

3619 search results - page 656 / 724
» Humor modeling in the interface
Sort
View
JSA
2007
100views more  JSA 2007»
15 years 4 months ago
Resource consumption-aware QoS in cluster-based VOD servers
For Video-On-Demand (VOD) systems, it is important to provide Quality of Service (QoS) to more clients under limited resources. In this paper, the performance scalability in clust...
Dongmahn Seo, Joahyoung Lee, Yoon Kim, Changyeol C...
AI
2004
Springer
15 years 4 months ago
A unifying semantics for time and events
We give a formal semantics for a highly expressive language for representing temporal relationships and events. This language, which we call Versatile Event Logic (VEL), provides ...
Brandon Bennett, Antony Galton
JSW
2007
119views more  JSW 2007»
15 years 4 months ago
Formalizing Mobility in Service Oriented Computing
— The usual scenario of service oriented systems is characterized by several services offering the same functionalities, by new services that are continuosly deployed and by othe...
Claudio Guidi, Roberto Lucchi
CORR
2002
Springer
101views Education» more  CORR 2002»
15 years 4 months ago
Semantic Component Composition
Building complex software systems necessitates the use of component-based architectures. In theory, of the set of components needed for a design, only some small portion of them ar...
Joseph Kiniry
FAC
2000
114views more  FAC 2000»
15 years 4 months ago
Representational Reasoning and Verification
Formal approaches to the design of interactive systems rely on reasoning about properties of the t a very high level of abstraction. Specifications to support such an approach typi...
Gavin J. Doherty, José Creissac Campos, Mic...