1147 search results - page 138 / 230 » Termination in language-based systems |
171
click to vote
ICDAR
2003
IEEE
16 years 5 days ago
2003
IEEE
A major feature of new mobiles terminals using penbased interfaces, such as personal assistants or e-book, is their personal character, implying that a good interface should be ea...
186
click to vote
ISCC
2003
IEEE
16 years 4 days ago
2003
IEEE
The widespread diffusion of mobile computing along with the integration of telecommunication systems and the Internet enables a scenario where the promise of ubiquitous computing ...
167
click to vote
ISQED
2003
IEEE
16 years 4 days ago
2003
IEEE
An algorithm for mapping core terminals to System-On-a-Chip (SOC) I/O pins and scheduling tests in order to achieve costefficient concurrent test for core-based designs is present...
169
click to vote
CHARME
2003
Springer
16 years 3 days ago
2003
Springer
Intrusion-tolerance is the technique of using fault-tolerance to achieve security properties. Assuming that faults, both benign and Byzantine, are unavoidable, the main goal of Int...
206
click to vote
FIDJI
2003
Springer
16 years 3 days ago
2003
Springer
— We present techniques for analyzing the source code of distributed Java applications, and building finite models of their behaviour. The models are labelled transition systems...