4961 search results - page 435 / 993 » Homomorphism-Homogeneous Relational Structures |
148
Voted
ICRA
2007
IEEE
15 years 11 months ago
2007
IEEE
— This paper is about the autonomous control of an autonomous underwater vehicle (AUV), and the particular considerations required to allow proper control while towing a 100-mete...
131
click to vote
IEEEARES
2007
IEEE
15 years 11 months ago
2007
IEEE
We present a pattern system for security requirements engineering, consisting of security problem frames and concretized security problem frames. These are special kinds of proble...
128
click to vote
IV
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper proposes a structured methodology that uses focus group interviews to evaluate Information Visualization techniques and tools. Focus groups are particularly suitable fo...
134
Voted
SCAM
2007
IEEE
15 years 11 months ago
2007
IEEE
Software quality assessment of large COBOL industrial legacy systems, both for maintenance or migration purposes, mounts a serious challenge. We present the Software Quality Asses...
143
click to vote
SEFM
2007
IEEE
15 years 11 months ago
2007
IEEE
We give a formal account of a calculus for modeling service-based systems, suitable to describe both service composition (orchestration) and the protocol that services run when in...