10916 search results - page 1868 / 2184 » On Constructive Connectives and Systems |
206
click to vote
FDL
2007
IEEE
16 years 1 months ago
2007
IEEE
Transaction level models (TLMs) can be constructed at t levels of abstraction, denoted as untimed (UT), cycle-approximate (CX), and cycle accurate (CA) in this paper. The choice o...
152
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
The limits of human multitasking capabilities in intense conditions are well understood. However, little is known about how increasing and continuous multitasking impacts innovati...
115
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
Highly educated immigrants face many barriers to employment in Canada, especially in acquiring jobs at the same level as those they had held prior to migration. This exploratory s...
181
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
— This paper demonstrates how two different sets of powerful domain specific language features can be specified and deployed as composable language extensions. These extensions...
134
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
Constructing interdisciplinary knowledge requires knowledge sharing between researchers studying the same object from different disciplinary angles. Such sharing is particularly d...