1112 search results - page 153 / 223 » Implementation aspects of a delegation system |
189
click to vote
SPIN
2007
Springer
16 years 9 days ago
2007
Springer
One of the most exciting and promising approaches to ensure the correctness of critical systems is software model checking, which considers real code, written with standard program...
159
click to vote
ACSAC
2005
IEEE
15 years 12 months ago
2005
IEEE
Java 2 Micro-Edition Connected Limited Device Configuration (J2ME CLDC) is the platform of choice when it comes to running mobile applications on resourceconstrained devices (cel...
191
click to vote
COMPSAC
2005
IEEE
15 years 12 months ago
2005
IEEE
Distributed processing environments such as that of a traffic management network system (TMS) can be implemented easier, faster, and secure and perform better through use of auton...
163
click to vote
ISIPTA
2003
IEEE
15 years 11 months ago
2003
IEEE
The nature of much information available to decision makers is vague and imprecise, be it information for human managers in organisations or for process agents in a distributed co...
168
click to vote
KCAP
2003
ACM
15 years 11 months ago
2003
ACM
OntoWeaver is our conceptual modelling methodology and a tool that support the specification and implementation of customized web applications. It relies on a number of different ...