3765 search results - page 143 / 753 » Formal Methods for Systems Engineering Behavior Models |
146
click to vote
HYBRID
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. The problem of maintaining the crankshaft speed of an automotive engine within a given set interval (idle speed control), is formalized as a constrained control problem u...
220
click to vote
ICCS
1999
Springer
15 years 10 months ago
1999
Springer
Conceptual Graphs and Formal Concept Analysis have in common basic concerns: the focus on conceptual structures, the use of diagrams for supporting communication, the orientation b...
162
click to vote
CHI
2007
ACM
16 years 6 months ago
2007
ACM
Traditionally, software engineering processes are based on a formalist model that emphasizes strict documentation, procedural and validation standards. Although this is a poor fit...
155
click to vote
IEEESCC
2006
IEEE
16 years 14 days ago
2006
IEEE
A virtual organization (VO) is a dynamic collection of entities (individuals, enterprises, and information resources) collaborating on some computational activity. VOs are an emer...
156
click to vote
FASE
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. In model-based development, a formal description of the software (the model) is the central artifact that drives other development activities. The availability of a model...