3828 search results - page 302 / 766 » Proof-Based System Engineering Using a Virtual System Model |
173
click to vote
PPPJ
2006
ACM
16 years 18 days ago
2006
ACM
Concept assignment identifies units of source code that are functionally related, even if this is not apparent from a syntactic point of view. Until now, the results of concept a...
187
click to vote
ACSAC
2001
IEEE
15 years 10 months ago
2001
IEEE
The Java (TM) Virtual Machine is being used more frequently as the basic engine behind dynamic web services. With the proliferation of network attacks on these network resources, ...
170
click to vote
IROS
2007
IEEE
16 years 28 days ago
2007
IEEE
— Omnidirectional cameras have a wide field of view and are thus used in many robotic vision tasks. An omnidirectional view may be acquired by a fisheye camera which provides a...
204
click to vote
I3E
2001
15 years 8 months ago
2001
: Designing security-critical systems correctly is very difficult. We present work on software engineering of security critical systems, supported by the CASE tool AUTOFOCUS. Secur...
175
click to vote
CSMR
2004
IEEE
15 years 10 months ago
2004
IEEE
Outsourcing has become common practice in the software industry. Organizations routinely subcontract the maintenance of their software assets to specialized companies. A great cha...