4870 search results - page 435 / 974 » Challenges of component-based development |
187
click to vote
SMA
2008
ACM
15 years 6 months ago
2008
ACM
Interactive visualization of massive models still remains a challenging problem. This is mainly due to a combination of ever increasing model complexity with the current hardware ...
157
click to vote
IJNSEC
2007
15 years 6 months ago
2007
In this paper, the Collaborative Object Notification Framework for Insider Defense using Autonomous Network Transactions (CONFIDANT) is evaluated in the presence of tampering. CO...
187
click to vote
TASE
2008
IEEE
15 years 6 months ago
2008
IEEE
Soon after the birth of the flourishing research area of model checking in the early eighties, researchers started to apply this technique to finite automata equipped with probabi...
148
click to vote
ANOR
2005
15 years 6 months ago
2005
Recent developments in integer-programming software systems have tremendously improved our ability to solve large-scale instances. We review the major algorithmic components of sta...
160
click to vote
AR
2005
15 years 6 months ago
2005
Whether they are asked to polish or assemble parts, clean the house or open doors, the future generation of robots will have to cope with contact tasks under uncertainty in a stabl...