2766 search results - page 363 / 554 » Hybridizing a Logical Framework |
199
click to vote
ASPLOS
2012
ACM
14 years 13 days ago
2012
ACM
Despite a burgeoning demand for parallel programs, the tools available to developers working on shared-memory multicore processors have lagged behind. One reason for this is the l...
126
click to vote
CHI
2009
ACM
16 years 5 months ago
2009
ACM
The idea of interactional trajectories through interfaces has emerged as a sensitizing concept from recent studies of tangible interfaces and interaction in museums and galleries....
162
click to vote
SIGSOFT
2006
ACM
15 years 10 months ago
2006
ACM
Unit test cases are focused and efficient. System tests are effective at exercising complex usage patterns. Differential unit tests (DUT) are a hybrid of unit and system tests. T...
146
click to vote
PDCAT
2005
Springer
15 years 10 months ago
2005
Springer
In this paper security requirements and security architecture for 4G systems are presented with the consideration of Trusted Computing (TC) for mobile equipment (ME). The security...
151
click to vote
CGI
2003
IEEE
15 years 10 months ago
2003
IEEE
We present a novel approach to design artistic and believable trees in a cartoon-like style, which can be rendered by an animated camera to produce a convincing 3D-like experience...