1676 search results - page 182 / 336 » Formal System Development with KIV |
201
Voted
ECRTS
2006
IEEE
16 years 1 months ago
2006
IEEE
At early stages in the design of real-time embedded applications, the timing attributes of the computational activities are often incompletely specified or subject to changes. Lat...
200
click to vote
OTM
2005
Springer
16 years 14 days ago
2005
Springer
In ubiquitous computing, behavior routine learning is the process of mining the context-aware data to find interesting rules on the user’s behavior, while preference learning tri...
177
click to vote
FSTTCS
2003
Springer
16 years 6 days ago
2003
Springer
We define a new model called O-PRS that extends the Process Rewrite Systems formalism with a new associative operator, “ ”, that allows to model parallel composition while ke...
145
click to vote
IADIS
2004
15 years 8 months ago
2004
The evolving nature of complex traffic issues of IP (Internet Protocol)-based Telecollaboration (TC) business system technology requires an intuitive understanding for the partici...
190
click to vote
FMCO
2004
Springer
16 years 11 days ago
2004
Springer
Abstract. Coordination languages are intended to simplify the development of complex software systems by separating the coordination aspects of an application from its computation ...