Sciweavers

2251 search results - page 110 / 451
» Specification and Implementation Problems for C
Sort
View
131
Voted
ATAL
2008
Springer
15 years 5 months ago
Automatic Generation of Distributed Team Formation Algorithms from Organizational Models
Software systems are subject to ever increasing complexity and in need of efficient structuring. The concept of organization as an exand abstract real-world reference presents a pr...
Michael Köhler-Bußmeier, Matthias Weste...
122
Voted
INFORMATICALT
2006
75views more  INFORMATICALT 2006»
15 years 3 months ago
Repository for Business Rules Based IS Requirements
The quality of software engineering projects often suffers due to the large gap between the way stakeholders present their requirements and the way analysts capture and express tho...
Kestutis Kapocius, Rimantas Butleris
118
Voted
ACL
2010
15 years 1 months ago
Rebanking CCGbank for Improved NP Interpretation
Once released, treebanks tend to remain unchanged despite any shortcomings in their depth of linguistic analysis or coverage of specific phenomena. Instead, separate resources are...
Matthew Honnibal, James R. Curran, Johan Bos
121
Voted
SCOPES
2005
Springer
15 years 9 months ago
Software Synthesis from the Dataflow Interchange Format
Specification, validation, and synthesis are important aspects of embedded systems design. The use of dataflow-based design environments for these purposes is becoming increasingl...
Chia-Jui Hsu, Shuvra S. Bhattacharyya
WSC
2004
15 years 4 months ago
Practical 3D Animation of Multiply Articulated Construction Equipment
This paper presents research that led to the design and implementation of practical 3D animation methods to visualize multiply-articulated construction equipment in 3D animations ...
Vineet R. Kamat, Julio C. Martínez