3555 search results - page 47 / 711 » Security-Critical System Development with Extended Use Cases |
116
click to vote
WETICE
2006
IEEE
15 years 7 months ago
2006
IEEE
Debugging grid systems is complex, mainly because of the probe effect and non reproducible execution. The probe effect arises when an attempt to monitor a system changes the behav...
119
click to vote
PVM
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. The MPI-2 standard added a new feature to MPI called generalized requests. Generalized requests allow users to add new nonblocking operations to MPI while still using man...
102
click to vote
FLAIRS
2003
15 years 2 months ago
2003
Neural-symbolic integration concerns the integration of symbolic and connectionist systems. Distributed knowledge representation is traditionally seen under a purely symbolic pers...
100
click to vote
DEXA
2004
Springer
15 years 6 months ago
2004
Springer
The efficacy of expert systems often depends on the accuracy and completeness of the problem specification negotiated with the user. Therefore, efficient user interfaces are needed...
109
click to vote
ICECCS
2005
IEEE
15 years 7 months ago
2005
IEEE
SOFL is a formal language and method for software system analysis, specification and design and it fully supports structured techniques and object-oriented techniques. AOP (Aspect...