Sciweavers

4386 search results - page 795 / 878
» A Tamper-Resistant Programming Language System
Sort
View
AINA
2005
IEEE
15 years 7 months ago
Relational Database Operations Modeling with UML
Many existing software applications involve complex application layer implemented in OO programming languages and at the same time use relational database systems as back-end data...
Shuxin Yin, Indrakshi Ray
CP
2004
Springer
15 years 6 months ago
Hybrid Set Domains to Strengthen Constraint Propagation and Reduce Symmetries
In CP literature combinatorial design problems such as sport scheduling, Steiner systems, error-correcting codes and more, are typically solved using Finite Domain (FD) models desp...
Andrew Sadler, Carmen Gervet
IFIP
2004
Springer
15 years 6 months ago
The Driving Philosophers
We introduce a new synchronization problem in mobile ad-hoc systems: the Driving Philosophers. In this problem, an unbounded number of driving philosophers (processes) access a rou...
Sébastien Baehni, Roberto Baldoni, Rachid G...
RTAS
2000
IEEE
15 years 5 months ago
Chocolate: A Reservation-Based Real-Time Java Environment on Windows/NT
In this paper, we present Chocolate, a reservation-based Real-Time Java run-time environment that runs on Windows NT. We first present a brief overview of the emerging RealTime Ja...
Dionisio de Niz, Ragunathan Rajkumar
COMPSAC
1999
IEEE
15 years 5 months ago
Dynamic Software Architecture Slicing
As the complexity of software systems increases, so need for a good mechanism of abstraction. architecture design is an abstraction, hiding an immense amount of details about the ...
Taeho Kim, Yeong-Tae Song, Lawrence Chung, Dung T....