Sciweavers

3876 search results - page 370 / 776
» Dynamic Adaptive Pre-Tenuring
Sort
View
137
Voted
FSTTCS
2004
Springer
15 years 10 months ago
Who is Pointing When to Whom?
This paper introduces an extension of linear temporal logic that allows to express properties about systems that are composed of entities (like objects) that can refer to each othe...
Dino Distefano, Joost-Pieter Katoen, Arend Rensink
HICSS
2002
IEEE
110views Biometrics» more  HICSS 2002»
15 years 9 months ago
Supporting Workflow Management Systems with Traceability
Workflow Management Systems need to support organizations adapt their workflows to meet changing environments and business processes. We propose a traceability based knowledge man...
Peng Xu, Balasubramaniam Ramesh
KR
2010
Springer
15 years 9 months ago
A Logical Understanding of Legal Interpretation
If compliance with a norm does not achieve its purpose, then its applicability must dynamically be restricted or expanded. Legal interpretation is a mechanism from law allowing no...
Guido Boella, Guido Governatori, Antonino Rotolo, ...
ECOOP
2000
Springer
15 years 9 months ago
Using Objects for Next Generation Communication Services
The integration of the telephone network and the internet enables convergence of voice and data services. The explosion of information appliances also provides new service opportun...
Munir Cochinwala
MICRO
2002
IEEE
119views Hardware» more  MICRO 2002»
15 years 4 months ago
Microarchitectural support for precomputation microthreads
Research has shown that precomputation microthreads can be useful for improving branch prediction and prefetching. However, it is not obvious how to provide the necessary microarc...
Robert S. Chappell, Francis Tseng, Adi Yoaz, Yale ...