2530 search results - page 205 / 506 » Dynamic topological logic |
142
click to vote
WIESS
2000
15 years 5 months ago
2000
A software system can be called a safe-system with respect to memory, when it supports only strong-typing and it does not allow for the manual disposal of dynamic memory [2]. The ...
132
click to vote
DEXAW
2008
IEEE
15 years 10 months ago
2008
IEEE
The semantic web aims at enabling the web to understand and answer the requests from people and machines. It relies on several standards for representing and reasoning about web c...
107
Voted
IEEESCC
2008
IEEE
15 years 10 months ago
2008
IEEE
Workflows tend to fail in real-world scenarios due to the uncertain/unreliable sensory information which sometimes needs to be updated during the execution of workflows. In a lo...
114
click to vote
HICSS
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper suggests that the effects of counterterrorism policy on Violent Non-State Actors can be explored via systems dynamics. Specifically, we create a descriptive model of th...
141
click to vote
ICWE
2007
Springer
15 years 10 months ago
2007
Springer
In this paper we present a new environment for supporting Web user interface migration through different modalities. The goal is to furnish user interfaces that are able to migrate...