9110 search results - page 1429 / 1822 » Formally-Based Design Evaluation |
198
click to vote
ASWEC
2005
IEEE
15 years 8 months ago
2005
IEEE
Most software engineering tools come with fixed functionality or limited plug-in extension capabilities. Building software development environments that support truly dynamic exte...
203
click to vote
CCGRID
2005
IEEE
15 years 8 months ago
2005
IEEE
We introduce the Composite Endpoint Protocol (CEP) which efficiently composes a set of transmission elements to support high speed flows which exceed the capabilities of a single...
158
click to vote
CHINZ
2005
ACM
15 years 8 months ago
2005
ACM
re the use of abstracted screenshots as part of a new help interface. Graphstract, an implementation of a graphical help system, extends the ideas of textually oriented Minimal Ma...
203
Voted
CRITICAL
2005
15 years 8 months ago
2005
While affective computing explicitly challenges the primacy of rationality in cognitivist accounts of human activity, at a deeper level it relies on and reproduces the same inform...
148
click to vote
IWOMP
2010
Springer
15 years 8 months ago
2010
Springer
With the approaching of the many-core era, it becomes more and more difficult for a single OpenMP application to efficiently utilize all the available processor cores. On the other...