3765 search results - page 588 / 753 » Formal Methods for Systems Engineering Behavior Models |
150
click to vote
ICDM
2007
IEEE
16 years 25 days ago
2007
IEEE
Many systems in sciences, engineering and nature can be modeled as networks. Examples are internet, metabolic networks and social networks. Network clustering algorithms aimed to ...
198
click to vote
JSS
2010
15 years 1 months ago
2010
Architectural description languages are a useful tool for modeling complex systems at a high level of abstraction. If based on formal methods, they can also serve for enabling the...
146
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
We improve on previous recommender systems by taking advantage of the layered structure of software. We use a random-walk approach, mimicking the more focused behavior of a develo...
175
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
Faceted search is becoming a popular method to allow users to interactively search and navigate complex information spaces. A faceted search system presents users with keyvalue me...
201
click to vote
APSEC
1998
IEEE
15 years 10 months ago
1998
IEEE
Modified programs are required to be retested to determine whether changes have been made correctly and to investigate whether those cause any adverse effect on the program behavi...