4454 search results - page 691 / 891 » Designing components for e-services |
179
click to vote
PRDC
2006
IEEE
16 years 18 days ago
2006
IEEE
Dependable systems are usually designed with multiple instances of components or logical processes, and often possess symmetries that may be exploited in model-based evaluation. T...
171
click to vote
SEFM
2006
IEEE
16 years 18 days ago
2006
IEEE
The key to many approaches to reason about pointerbased data structures is the availability of a decision procedure to automatically discharge proof obligations in a theory encomp...
160
click to vote
TRIDENTCOM
2006
IEEE
16 years 18 days ago
2006
IEEE
— Telecommunication networks have rapidly added staggering amounts of capacity to their long haul networks at low costs per bit using DWDM technologies. Concurrently, there has b...
140
click to vote
CSCW
2006
ACM
16 years 17 days ago
2006
ACM
Designers of commercial aviation flight decks have recently begun to consider ways to reduce or eliminate the use of paper documents in flight operations. Using ethnographic metho...
209
click to vote
ITICSE
2006
ACM
16 years 17 days ago
2006
ACM
Often Software Engineering courses approach educating undergraduates in good processes and practices by using a simulated product development environment, following all of the ste...