Sciweavers

2599 search results - page 289 / 520
» A Tool for Supporting Feature-Driven Development
Sort
View
WER
2001
Springer
15 years 9 months ago
Automatic Derivation of Workflow Specifications from Organizational Structures and Use Cases
Workflow technology has reached a reasonable degree of maturity, with a number of both research prototypes and commercial systems available. However, methodological issues have rec...
María del Carmen Penadés, José...
SERP
2003
15 years 6 months ago
A Vision for Product Traceability Based on Semantics of Artifacts
In the face of extensive attention form both the research community and the industry, traceability there still lacks of a supporting methodology that enables traceability througho...
Darijus Strasunskas
CAS
2004
112views more  CAS 2004»
15 years 4 months ago
Sustainable Urban Transportation: A Model-Based Approach
Transportation and its environmental impacts are a major component of urban environmental management. At the same time, transportation and mobility are an important part or urban ...
Kurt Fedra
IMC
2007
ACM
15 years 6 months ago
Cryptographic strength of ssl/tls servers: current and recent practices
The Secure Socket Layer (SSL) and its variant, Transport Layer Security (TLS), are used toward ensuring server security. In this paper, we characterize the cryptographic strength ...
Homin K. Lee, Tal Malkin, Erich M. Nahum
DAC
2008
ACM
16 years 5 months ago
Specify-explore-refine (SER): from specification to implementation
Driven by increasing complexity and reliability demands, the Japanese Aerospace Exploration Agency (JAXA) in 2004 commissioned development of ELEGANT, a complete SpecC-based envir...
Andreas Gerstlauer, Junyu Peng, Dongwan Shin, Dani...