Sciweavers

3837 search results - page 278 / 768
» Concurrent Engineering support in Software Engineering
Sort
View
123
Voted
CAV
2010
Springer
197views Hardware» more  CAV 2010»
15 years 7 months ago
Abstract Analysis of Symbolic Executions
Analysis of Symbolic Executions Aws Albarghouthi1 , Arie Gurfinkel2 , Ou Wei1,3 , and Marsha Chechik1 1 Department of Computer Science, University of Toronto, Canada 2 Software Eng...
Aws Albarghouthi, Arie Gurfinkel, Ou Wei, Marsha C...
ISORC
2006
IEEE
15 years 10 months ago
Looking Ahead in Open Multithreaded Transactions
Open multithreaded transactions constitute building blocks that allow a developer to design and structure the execution of complex distributed systems featuring cooperative and co...
Maxime Monod, Jörg Kienzle, Alexander Romanov...
PKDD
2004
Springer
199views Data Mining» more  PKDD 2004»
15 years 9 months ago
SemanticTalk: Software for Visualizing Brainstorming Sessions and Thematic Concept Trails on Document Collections
Abstract: In this demonstration we introduce a technology to support knowledge structuring processes already at the time of their creation by building up concept structures in real...
Christian Biemann, Karsten Böhm, Gerhard Heye...
WETICE
1997
IEEE
15 years 8 months ago
Capturing Geometry Rationale for Collaborative Design
When an artifact is designed the typical output consists of documents describing the final result of a long series of deliberations and tradeoffs by the participants of collaborat...
Mark Klein
AOSD
2007
ACM
15 years 8 months ago
Evolving embedded product lines: opportunities for aspects
The traditional constraints on software development and architectures in the consumer electronics domain, including the low cost of manufacturing of a product, support for familie...
Aleksandra Tesanovic