Sciweavers

6829 search results - page 1230 / 1366
» Quantitative Generalizations of Languages
Sort
View
122
Voted
LOGCOM
1998
80views more  LOGCOM 1998»
15 years 3 months ago
Occurrences and Narratives as Constraints in the Branching Structure of the Situation Calculus
The Situation Calculus is a logic of time and change in which there is a distinguished initial situation ¡£¢ and all other situations arise from the different sequences of acti...
Javier Pinto
147
Voted
TSE
1998
129views more  TSE 1998»
15 years 3 months ago
Inferring Declarative Requirements Specifications from Operational Scenarios
—Scenarios are increasingly recognized as an effective means for eliciting, validating, and documenting software requirements. This paper concentrates on the use of scenarios for...
Axel van Lamsweerde, Laurent Willemet
105
Voted
SOFTWARE
2002
15 years 3 months ago
Quality Attributes of Web Software Applications
In only four or five years, the world wide web has changed from a static collection of HTML web pages to a dynamic engine that powers e-commerce, collaborative work, and distribut...
A. Jefferson Offutt
136
Voted
AES
2008
Springer
97views Cryptology» more  AES 2008»
15 years 3 months ago
Software mechanisms for extensible and scalable 3D visualization of construction operations
This paper presents research that led to the design and implementation of an extensible and scalable software framework for the dynamic 3D visualization of simulated construction ...
Vineet R. Kamat, Julio C. Martínez
DSS
2008
141views more  DSS 2008»
15 years 3 months ago
A Latent Semantic Indexing-based approach to multilingual document clustering
The creation and deployment of knowledge repositories for managing, sharing, and reusing tacit knowledge within an organization has emerged as a prevalent approach in current know...
Chih-Ping Wei, Christopher C. Yang, Chia-Min Lin
« Prev « First page 1230 / 1366 Last » Next »