1527 search results - page 62 / 306 » From Requirements to Design: Formalizing the Key Steps |
170
click to vote
EPEW
2008
Springer
15 years 7 months ago
2008
Springer
The accessible specification of performance queries is a key challenge in performance analysis. To this end, we seek to combine the intuitive aspects of natural language query spec...
175
click to vote
TABLEAUX
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Description Logics (DLs) are a family of logic based knowledge representation formalisms. Although they have a range of applications (e.g., configuration and information...
185
click to vote
JAIR
2008
15 years 6 months ago
2008
In order for agents to act on behalf of users, they will have to retrieve and integrate vast amounts of textual data on the World Wide Web. However, much of the useful data on the...
177
click to vote
ICSEA
2006
IEEE
16 years 1 days ago
2006
IEEE
— This paper describes an innovative approach to network testing based on automatically generating and analyzing state machine models of network behavior. The models are generate...
150
click to vote
TACAS
2007
Springer
16 years 3 days ago
2007
Springer
Abstract. Time Petri Nets (TPN) and Timed Automata (TA) are widely-used formalisms for the modeling and analysis of timed systems. A recently-developed approach for the analysis of...