827 search results - page 61 / 166 » Patterns for Timed Property Specifications |
122
click to vote
LREC
2010
15 years 4 months ago
2010
In this paper we discuss noun compounding, a highly generative, productive process, in three distinct languages: Czech, English and Zulu. Derivational morphology presents a large ...
148
click to vote
BIRTHDAY
2010
Springer
15 years 4 months ago
2010
Springer
The question of whether there is a logic that captures polynomial time was formulated by Yuri Gurevich in 1988. It is still wide open and regarded as one of the main open problems...
105
click to vote
AMAST
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Motivated by the proliferation and usefulness of Domain Specific Languages as well as the demand in enriching well established languages by high level capabilities like p...
131
click to vote
ICCS
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. Recently, the distributed real-time services are developing in distributed object computing environments in a way that can support a new programming paradigm of the distr...
151
click to vote
INFOCOM
2010
IEEE
15 years 1 months ago
2010
IEEE
We investigate the fundamental capacity limits of space-time journeys of information in mobile and Delay Tolerant Networks (DTNs), where information is either transmitted or carrie...