7206 search results - page 318 / 1442 » Using a Hypermedia System for Systems Engineering |
175
click to vote
ICSE
2007
IEEE-ACM
16 years 6 months ago
2007
IEEE-ACM
Database-centric information systems are critical to the operations of large organisations. In particular, they often process a large amount of data with stringent performance req...
174
click to vote
COMPSAC
2008
IEEE
16 years 1 months ago
2008
IEEE
—Internet users interact with multiple Web Service Providers (WSP), and therefore, must remember and manage multiple passwords. Users try to overcome the burden of password manag...
188
click to vote
ISPDC
2005
IEEE
16 years 7 days ago
2005
IEEE
DIET (Distributed Interactive Engineering Toolbox) is a toolbox for the construction of Network Enabled Server (NES) systems. For most NES systems, as for most grid middleware sys...
187
click to vote
VMCAI
2005
Springer
16 years 3 days ago
2005
Springer
Bounded model checking (BMC) is an automatic verification method that is based on a finite unfolding of the system’s transition relation. BMC has been successfully applied, in ...
170
click to vote
WOSS
2004
ACM
16 years 2 days ago
2004
ACM
The development of dependable software systems is a costly undertaking. Fault tolerance techniques as well as self-repair capabilities usually result in additional system complexi...