3763 search results - page 245 / 753 » Component-Based Software Engineering Processes |
196
click to vote
FOSSACS
2004
Springer
15 years 10 months ago
2004
Springer
In the literature there are several CCS-like process calculi differing in the constructs for the specification of infinite behavior and in the scoping rules for channel names. In t...
176
click to vote
EDBTW
2006
Springer
15 years 10 months ago
2006
Springer
The data volume of XML repositories and the response time of query processing have become critical issues for many applications, especially for those in the Web. An interesting alt...
528
click to vote
AC
1998
Springer
15 years 6 months ago
1998
Springer
Natural language processing has been in existence for more than fifty years. During this time, it has significantly contributed to the field of human-computer interaction in terms...
192
click to vote
PPPJ
2009
ACM
16 years 1 months ago
2009
ACM
Accelerated graphics cards, or Graphics Processing Units (GPUs), have become ubiquitous in recent years. On the right kinds of problems, GPUs greatly surpass CPUs in terms of raw ...
158
click to vote
TASE
2008
IEEE
16 years 29 days ago
2008
IEEE
Verification techniques like SAT-based bounded model checking have been successfully applied to a variety of system models. Applying bounded model checking to compositional proce...