12742 search results - page 322 / 2549 » On canonical number systems |
208
click to vote
VL
2007
IEEE
16 years 29 days ago
2007
IEEE
Workspace awareness has emerged as a new coordination paradigm in software configuration management systems, enabling the early detection of potential conflicts by providing devel...
185
click to vote
ECRTS
2006
IEEE
16 years 23 days ago
2006
IEEE
In this article we provide a model for the dynamic behavior of media processing chains of tasks communicating via bounded buffers. The aim is to find the overall behavior of a cha...
172
click to vote
IPPS
2006
IEEE
16 years 22 days ago
2006
IEEE
We show that timed automata can be used to model and to analyze timeliness properties of embedded system architectures. Using a case study inspired by industrial practice, we pres...
173
click to vote
SOSE
2006
IEEE
16 years 21 days ago
2006
IEEE
In this paper, we introduce a simple but formal service description language (ForSeL) for modelbased requirements engineering. The basic notion in ForSeL is a service representing...
155
click to vote
ICMCS
2005
IEEE
16 years 9 days ago
2005
IEEE
We describe MutualCast, a serverless peer-to-peer (P2P) multiparty real-time audio conferencing system. In MutualCast, the peers form a fully connected clique. During the conferen...