5475 search results - page 300 / 1095 » Model Driven Security |
178
click to vote
ITS
2004
Springer
16 years 22 hour ago
2004
Springer
Research has shown that students’ problem-solving actions vary in type and duration. Among other causes, this behavior is a result of strategies that are driven by different goal...
143
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
Agent-based on-line negotiation technology has the potential to radically change the way e-business is conducted. In this paper, we present a formal model for autonomous agents to...
159
click to vote
ICRA
2000
IEEE
15 years 11 months ago
2000
IEEE
In this paper, we present the design, modeling and preliminary control of RHex, an autonomous dynamically stable hexapod possessing merely six actuated degrees of freedom (at the ...
195
click to vote
ASM
2000
ASM
15 years 11 months ago
2000
ASM
We define the dynamic semantics of UML State Machines which integrate statecharts with the UML object model. The use of ASMs allows us (a) to rigorously model the event driven run...
181
click to vote
ICIP
1994
IEEE
15 years 10 months ago
1994
IEEE
This paper describes a new region-growing method for segmenting medical images. The method uses a closed snake driven by a pressure force that is a function of the statistical cha...