Sciweavers

734 search results - page 111 / 147
» A Method for Teaching a Software Process based on the Person...
Sort
View
UML
2005
Springer
15 years 8 months ago
Specifying Precise Use Cases with Use Case Charts
Use cases are a popular method for capturing and structuring software requirements. The informality of use cases is both a blessing and a curse. It enables easy application and lea...
Jon Whittle
ATAL
2006
Springer
15 years 7 months ago
Integrating agent-oriented methodologies with UML-AT
There are many methodological approaches for Agent-Oriented Software Engineering, each one focusing on some features of multi-agent systems, but leaving others underdefined. For t...
Rubén Fuentes, Jorge J. Gómez-Sanz, ...
ICCAD
2003
IEEE
154views Hardware» more  ICCAD 2003»
16 years 4 days ago
Fast, Accurate Static Analysis for Fixed-Point Finite-Precision Effects in DSP Designs
Translating digital signal processing (DSP) software into its finite-precision hardware implementation is often a timeconsuming task. We describe a new static analysis technique ...
Claire Fang Fang, Rob A. Rutenbar, Tsuhan Chen
ERLANG
2006
ACM
15 years 9 months ago
Evaluation of database management systems for Erlang
Erlang/OTP's DBMS Mnesia is lacking in several important areas to consider when implementing very large databases with massive scalability requirements. This article reveals ...
Emil Hellman
118
Voted
ETFA
2005
IEEE
15 years 8 months ago
A multi-robot system for landmine detection
This paper describes the development of a multi-robot system for Area Reduction in Humanitarian Demining. In spite of the specific requirements imposed to the work being carried ...
Pedro Santana, José Barata, H. Cruz, A. Mes...