3765 search results - page 571 / 753 » Formal Methods for Systems Engineering Behavior Models |
179
click to vote
SIGSOFT
2002
ACM
16 years 7 months ago
2002
ACM
We propose a unifying framework for model-based specification notations. Our framework captures the execution semantics that are common among model-based notations, and leaves the...
155
click to vote
AGI
2008
15 years 8 months ago
2008
One might imagine that AI systems with harmless goals will be harmless. This paper instead shows that intelligent systems will need to be carefully designed to prevent them from be...
193
click to vote
RTCSA
2003
IEEE
15 years 11 months ago
2003
IEEE
Increasing complexity of real-time systems, and demands for enabling their configurability and tailorability are strong motivations for applying new software engineering principle...
191
click to vote
IUI
2003
ACM
15 years 11 months ago
2003
ACM
This paper presents a novel way for assessing the affective qualities of natural language and a scenario for its use. Previous approaches to textual affect sensing have employed k...
153
click to vote
ECBS
2010
IEEE
15 years 12 months ago
2010
IEEE
The Unified Modeling Language (UML) is the standard to specify the structure and behaviour of software systems. The created models are a constitutive part of the software speci...