4349 search results - page 523 / 870 » A Comprehensive Process Model for Studying Software Process ... |
117
click to vote
CONCUR
2005
Springer
15 years 10 months ago
2005
Springer
The focus of process calculi is interaction rather than computation, and for this very reason: (i) their operational semantics is conveniently expressed by labelled transition syst...
157
Voted
DLOG
2007
15 years 7 months ago
2007
Abstract. There has been an increased interest in recent years to incorporate uncertainty in Description Logics (DLs), and a number of proposals have been put forward for modeling ...
177
click to vote
INTENSIVE
2009
IEEE
15 years 11 months ago
2009
IEEE
In this paper an optimized k-means implementation on the graphics processing unit (GPU) is presented. NVIDIA’s Compute Unified Device Architecture (CUDA), available from the G8...
135
click to vote
WOSP
2005
ACM
15 years 10 months ago
2005
ACM
StoCharts have been proposed as a UML statechart extension for performance and dependability evaluation, and have been applied in the context of train radio reliability assessment...
155
click to vote
SAC
2009
ACM
15 years 9 months ago
2009
ACM
Multi-agent Systems (MASs) development and Software Product Lines (SPLs) are two consolidated software engineering techniques. Recent research work explores the integration betwee...