4211 search results - page 215 / 843 » A formal approach to MASQ |
211
click to vote
CRV
2004
IEEE
15 years 10 months ago
2004
IEEE
- This paper presents a global method to process monocular image sequences for mobile robot obstacle detection. We do not aim to achieve a complete scene reconstruction, but only t...
175
click to vote
ACSAC
2001
IEEE
15 years 10 months ago
2001
IEEE
Traditionally, creation and revocation of certificates are performed manually, by trusted agents, under conditions that are rarely formalized. This approach to certificate managem...
143
click to vote
ICSE
2000
IEEE-ACM
15 years 10 months ago
2000
IEEE-ACM
If a business built a plant to produce products without first designing a process to manufacture them, the risk would be lack of capacity without significant plant redesign. Simil...
209
click to vote
BIRTHDAY
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. UML models consist of several diagrams of different types describing different views of a software system ranging from specifications of the static system structure to de...
183
click to vote
CONCUR
2008
Springer
15 years 8 months ago
2008
Springer
In this paper, we present a unified approach to evaluating the relative expressive power of process calculi. In particular, we identify a small set of criteria (that have already b...