4795 search results - page 373 / 959 » The Message Classification Model |
179
click to vote
RTAS
2009
IEEE
16 years 1 months ago
2009
IEEE
—We define a family of execution policies for a programming model called PTIDES (Programming Temporally Integrated Distributed Embedded Systems). A PTIDES application (factory a...
203
click to vote
JVA
2006
IEEE
16 years 24 days ago
2006
IEEE
History repeats itself. Since the invention of the programmable computer, numerous computer scientists keep dedicating their professional lives to the design of “the single, bes...
178
click to vote
WOSP
2004
ACM
16 years 6 days ago
2004
ACM
Modelling and analysing distributed and mobile software systems is a challenging task. PEPA nets—coloured stochastic Petri nets—are a recently introduced modelling formalism w...
181
click to vote
ISSRE
2003
IEEE
16 years 2 days ago
2003
IEEE
Systematic design testing, in which executable models of behaviors are tested using inputs that exercise scenarios, can help reveal flaws in designs before they are implemented i...
161
click to vote
HICSS
1998
IEEE
15 years 11 months ago
1998
IEEE
The design and implementation of a conceptual model, CAFE (a Categorization Assistant For E-mail), is described. The model supports the organization, searching, and retrieval of i...