Search Sciweavers | Sciweavers

15614 search results - page 288 / 3123

» The State of State

195

click to vote

UML
1998
Springer

220views Natural Language Processing» more UML 1998»

Automating the Synthesis of UML StateChart Diagrams from Multiple Collaboration Diagrams

15 years 11 months ago

Download www.iro.umontreal.ca

The use of scenarios has become a popular technique for requirements elicitation and specification building. Since scenarios capture only partial descriptions of system behavior, ...

Ismaïl Khriss, Mohammed Elkoutbi, Rudolf K. K...

claim paper

Read More »

141

click to vote

KBSE
1997
IEEE

68views Software Engineering» more KBSE 1997»

A Metric-based Approach to Detect Abstract Data Types and State Encapsulations

15 years 11 months ago

Download www.sdml.info

Jean-Francois Girard, Rainer Koschke, Georg Schied

claim paper

Read More »

146

click to vote

AUSAI
1997
Springer

78views Artificial Intelligence» more AUSAI 1997»

Generating States of Joint Commitment between Autonomous Agents

15 years 10 months ago

Download users.ecs.soton.ac.uk

Abstract. Autonomous agents decide for themselves, on the basis of their beliefs, goals, etc., how to act in an environment. However, it is often the case that an agent is motivate...

Timothy J. Norman, Nicholas R. Jennings

claim paper

Read More »

130

click to vote

CAV
1997
Springer

114views Hardware» more CAV 1997»

Partial-Order Reduction in Symbolic State Space Exploration

15 years 10 months ago

Download mtc.epfl.ch

Rajeev Alur, Robert K. Brayton, Thomas A. Henzinge...

claim paper