767 search results - page 104 / 154 » Logic for Mathematical Writing |
RTCSA
2008
IEEE
14 years 2 months ago
2008
IEEE
The demand for real-time data services in embedded systems is increasing. In these new computing platforms, using traditional buffer management schemes, whose goal is to minimize ...
MIDDLEWARE
2007
Springer
14 years 1 months ago
2007
Springer
Developing applications for sensor networks is a challenging task. Most programming systems narrowly focus on programming issues while ignoring that programming represents only a ...
ELPUB
2006
ACM
14 years 1 months ago
2006
ACM
A text parsing component designed to be part of a system that assists students in academic reading an writing is presented. The parser can automatically add a relational discourse...
ERLANG
2006
ACM
14 years 1 months ago
2006
ACM
We present the new model checker McErlang for verifying Erlang programs. In comparison with the etomcrl tool set, McErlang differs mainly in that it is implemented in Erlang. The ...
CSFW
2005
IEEE
14 years 1 months ago
2005
IEEE
Modelling security policies requires means to specify permissions and prohibitions. However, this is generally not sufficient to express security properties such as availability ...