3765 search results - page 431 / 753 » Formal Methods for Systems Engineering Behavior Models |
182
click to vote
EMSOFT
2007
Springer
16 years 28 days ago
2007
Springer
Architecture description languages are used to describe both the hardware and software architecture of an application, at system-level. The basic software components are intended ...
158
Voted
IJFCS
2006
15 years 6 months ago
2006
ion for Parametric Time-Interval Automata Akio Nakata, Tadaaki Tanimoto, Suguru Sasaki, Teruo Higashino Department of Information Networking, Graduate School of Information Science...
195
click to vote
ICEBE
2007
IEEE
16 years 1 months ago
2007
IEEE
In the development process of a B2B system it is crucial that the business experts are able to express and evaluate agreements and commitments between the partners and that the so...
191
click to vote
ATAL
2005
Springer
16 years 9 days ago
2005
Springer
Software comprehension (understanding software structure and behavior) is essential for developing, maintaining, and improving software. This is particularly true of agent-based s...
197
Voted
ICTAI
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper we developed an Inductive Logic Programming (ILP) based framework ExOpaque that is able to extract a set of Horn clauses from an arbitrary opaque machine learning mo...