2741 search results - page 502 / 549 » Designing Law-Compliant Software Requirements |
DSD
2006
IEEE
14 years 4 months ago
2006
IEEE
Traditionally, an embedded system design process demands a considerable amount of expertise, time and money. This makes developing embedded systems difficult for many companies, a...
ICAS
2006
IEEE
14 years 4 months ago
2006
IEEE
Autonomic systems are typically distributed, complex and concurrent systems, comprised of multiple interacting autonomic elements that often exhibit emergent behavior. Design and ...
ICWMC
2006
IEEE
14 years 4 months ago
2006
IEEE
Abstract— Ubiquitous computing refers to making many computing devices available throughout the physical environment, while making them effectively invisible to the user. To furt...
SEW
2006
IEEE
14 years 4 months ago
2006
IEEE
The Mondex Electronic Purse is an outstanding example of industrial scale formal refinement, and was the first verification to achieve ITSEC level E6 certification. A formal a...
SRDS
2006
IEEE
14 years 4 months ago
2006
IEEE
The web is a complicated graph, with millions of websites interlinked together. In this paper, we propose to use this web sitegraph structure to mitigate flooding attacks on a we...