1312 search results - page 176 / 263 » Embedded contract languages |
120
Voted
RTAS
1997
IEEE
15 years 7 months ago
1997
IEEE
A real-time system operates under timing constraints which it may be unable to meet under some circumstances. The criticality of a timing constraint determines how a system is to ...
155
Voted
EUSAI
2007
Springer
15 years 5 months ago
2007
Springer
Developing applications for smart spaces is a challenging task. Most programming systems narrowly focus on the embedded computer infrastructure and neglect the spatial aspect of th...
130
Voted
CORR
2006
Springer
15 years 3 months ago
2006
Springer
Prolog Server Pages (PSP) is a scripting language, based on Prolog, than can be embedded in HTML documents. To run PSP applications one needs a web server, a web browser and a PSP...
157
Voted
ENTCS
2006
15 years 3 months ago
2006
This paper presents a game semantics for LP, Artemov's Logic of Proofs. The language of LP extends that of propositional logic by adding formula-labeling terms, permitting us...
137
Voted
ECMDAFA
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Current mobile digital communication systems must implement rigorous operations to guarantee high levels of confidentiality and integrity during transmission of critical ...