2039 search results - page 309 / 408 » Teaching Standards to Engineers |
194
click to vote
SPIN
2007
Springer
16 years 18 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...
156
click to vote
CODES
2006
IEEE
16 years 17 days ago
2006
IEEE
Middleware for parallel and distributed systems is designed to virtualize computation and communication resources so that a more and consistent view of those resources is presente...
172
click to vote
EDOC
2006
IEEE
16 years 17 days ago
2006
IEEE
Workflow forms a key part of many existing Service Oriented applications, involving the integration of services that may be made available at distributed sites. It is possible ng...
186
click to vote
ICTAI
2006
IEEE
16 years 16 days ago
2006
IEEE
This paper describes a new bipartite formulation for word-document co-clustering such that hyperclique patterns, strongly affiliated documents in this case, are guaranteed not to ...
147
click to vote
ISORC
2006
IEEE
16 years 16 days ago
2006
IEEE
The Software Communications Architecture (SCA), which has been adopted as an SDR (Software Defined Radio) Forum standard, provides a framework that successfully exploits common de...