3119 search results - page 202 / 624 » Abstract Requirement Analysis in Multiagent System Design |
220
click to vote
ISAS
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. This paper provides an overview of Proof-Based System Engineering (PBSE), which aims at improving the current practice of developing computer-based systems. PBSE is of pa...
177
click to vote
EDM
2010
15 years 8 months ago
2010
Learning software is not designed for data analysis and mining. Because usage data is not stored in a systematic way, its thorough analysis requires long and tedious preprocessing....
175
click to vote
CHARME
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. We propose a new saturation-based symbolic state-space generation algorithm for finite discrete-state systems. Based on the structure of the high-level model specificat...
171
click to vote
SIS
2004
15 years 8 months ago
2004
In this paper we outline a new process model for security engineering. This process model extends object oriented, use case driven software development by the systematic treatment ...
183
click to vote
FPT
2005
IEEE
16 years 12 days ago
2005
IEEE
This paper describes the design and implementation of hardware architectures for posture analysis. Posture analysis is an active research area in computer vision. It can be used i...