Sciweavers

2384 search results - page 296 / 477
» Analyzing Requirements Engineering Processes: A Case Study
Sort
View
136
Voted
MTSR
2007
Springer
15 years 10 months ago
Metadata for describing learning scenarios under the European Higher Education Area paradigm
In this paper we identify the requirements for creating formal descriptions of learning scenarios designed under the European Higher Education Area paradigm, using competences and ...
Ana-Elena Guerrero, Julià Minguillón...
CAD
1998
Springer
15 years 4 months ago
CAD and the product master model
We develop an architecture for a product master model that federates CAD systems with downstream application processes for di erent feature views that are part of the design proce...
Christoph M. Hoffmann, Robert Joan-Arinyo
ICTAI
2005
IEEE
15 years 10 months ago
Applying a Taxonomy of Formation Control in Developing a Robotic System
Designing cooperative multi-robot systems (MRS) requires expert knowledge both in control and artificial intelligence. Formation control is an important research within the resea...
Harry Chia-Hung Hsu, Alan Liu
CTRSA
2011
Springer
189views Cryptology» more  CTRSA 2011»
14 years 8 months ago
Ideal Key Derivation and Encryption in Simulation-Based Security
Abstract. Many real-world protocols, such as SSL/TLS, SSH, IPsec, IEEE 802.11i, DNSSEC, and Kerberos, derive new keys from other keys. To be able to analyze such protocols in a com...
Ralf Küsters, Max Tuengerthal
120
Voted
TPDS
2002
134views more  TPDS 2002»
15 years 4 months ago
Automatic Recovery from Disk Failure in Continuous-Media Servers
Continuous-media (CM) servers have been around for some years. Apart from server capacity, another important issue in the deployment of CM servers is reliability. This study invest...
Jack Y. B. Lee, John C. S. Lui