3119 search results - page 202 / 624 » Abstract Requirement Analysis in Multiagent System Design |
167
Voted
ISAS
2005
Springer
15 years 9 months 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...
120
Voted
EDM
2010
15 years 5 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....
132
Voted
CHARME
2005
Springer
15 years 9 months 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...
124
Voted
SIS
2004
15 years 5 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 ...
136
Voted
FPT
2005
IEEE
15 years 9 months 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...