Sciweavers

2853 search results - page 347 / 571
» A platform for software engineering research
Sort
View
COMPSAC
2004
IEEE
14 years 2 months ago
Adaptive Time-Critical Resource Management Using Time/Utility Functions: Past, Present, and Future
Time/utility function time constraints (or TUFs) and utility accrual (UA) scheduling optimality criteria, constitute, arguably, the most effective and broadest approach for adapti...
Peng Li, Binoy Ravindran, E. Douglas Jensen
FOSSACS
2006
Springer
14 years 2 months ago
Symbolic and Cryptographic Analysis of the Secure WS-ReliableMessaging Scenario
Abstract. Web services are an important series of industry standards for adding semantics to web-based and XML-based communication, in particular among enterprises. Like the entire...
Michael Backes, Sebastian Mödersheim, Birgit ...
FSTTCS
2000
Springer
14 years 2 months ago
Inheritance in the Join Calculus
We propose an object-oriented calculus with internal concurrency and class-based inheritance that is built upon the join calculus. Method calls, locks, and states are handled in a...
Cédric Fournet, Cosimo Laneve, Luc Maranget...
SOFT
2000
14 years 2 months ago
Problems and Prospects in Fuzzy Data Analysis
In meeting the challenges that resulted from the explosion of collected, stored, and transferred data, Knowledge Discovery in Databases or Data Mining has emerged as a new research...
Rudolf Kruse, Christian Borgelt, Detlef Nauck
CISSE
2009
Springer
14 years 2 months ago
Educational Virtual Reality through a Multiview Autostereoscopic 3D Display
: Nowadays the virtual reality technology is a topic of present and is an interest for research and development. There are different devices with which the user may enter, observe ...
Emiliyan G. Petkov