1147 search results - page 138 / 230 » Termination in language-based systems |
100
click to vote
ICDAR
2003
IEEE
15 years 6 months 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...
95
Voted
ISCC
2003
IEEE
15 years 6 months 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 ...
ISQED
2003
IEEE
15 years 6 months 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...
CHARME
2003
Springer
15 years 6 months 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...
126
Voted
FIDJI
2003
Springer
15 years 6 months 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...