2832 search results - page 330 / 567 » Flexible Modelling for Requirements Engineering |
182
click to vote
FUIN
2006
15 years 6 months ago
2006
In recent years light-weighted formal methods are of growing interest in construction and analysis of complex concurrent software system. A new rule-action based term rewriting fr...
194
click to vote
ICSOC
2009
Springer
15 years 4 months ago
2009
Springer
Service-oriented computing provides an evolving paradigm for flexible and scalable applications of open systems. Web services and their automatic composition are in the mainstream...
191
click to vote
HPCA
2011
IEEE
14 years 10 months ago
2011
IEEE
Most shared memory systems maximize performance by unpredictably resolving memory races. Unpredictable memory races can lead to nondeterminism in parallel programs, which can suff...
165
click to vote
CVPR
2010
IEEE
16 years 1 months ago
2010
IEEE
Web image search using text queries has received considerable attention. However, current state-of-the-art approaches require training models for every new query, and are therefore...
153
click to vote
AICCSA
2006
IEEE
16 years 18 days ago
2006
IEEE
The specification, analysis, and administration of business processes have charged great importance in this last time. This has been caused by a competitive industry necessity, dy...