Sciweavers

3837 search results - page 375 / 768
» Concurrent Engineering support in Software Engineering
Sort
View
138
Voted
WER
2007
Springer
15 years 11 months ago
O Gerenciamento de Requisitos no Ambiente COCAR
Background. This research group has been working towards building an environment which helps software development, providing support to some activities mainly based on use case mo...
André Di Thommazo, Marcos Danilo Martins, S...
ISPASS
2008
IEEE
15 years 11 months ago
An Analysis of I/O And Syscalls In Critical Sections And Their Implications For Transactional Memory
Transactional memory (TM) is a scalable and concurrent way to build atomic sections. One aspect of TM that remains unclear is how side-effecting operations – that is, those whic...
Lee Baugh, Craig B. Zilles
KBSE
2005
IEEE
15 years 10 months ago
Optimized run-time race detection and atomicity checking using partial discovered types
Concurrent programs are notorious for containing errors that are difficult to reproduce and diagnose. Two common kinds of concurrency errors are data races and atomicity violation...
Rahul Agarwal, Amit Sasturkar, Liqiang Wang, Scott...
146
Voted
ICEBE
2005
IEEE
135views Business» more  ICEBE 2005»
15 years 10 months ago
GridPML: A Process Modeling Language and History Capture System for Grid Service Composition
This paper presents a process modeling language known as the GridPML for the composition of Grid Services. The GridPML is an XML-based language that supports basic control flow co...
Hua Ma, Susan Darling Urban, Yang Xiao, Suzanne W....
ICSE
2009
IEEE-ACM
16 years 5 months ago
Modular string-sensitive permission analysis with demand-driven precision
In modern software systems, programs are obtained by dynamically assembling components. This has made it necessary to subject component providers to access-control restrictions. W...
Emmanuel Geay, Marco Pistoia, Takaaki Tateishi, Ba...