9989 search results - page 330 / 1998 » A CLP Approach to Modelling Systems |
157
click to vote
HICSS
1997
IEEE
15 years 11 months ago
1997
IEEE
Business System Engineers, responding to changes in the market place, are faced with the challenge of building increasingly complex and varied systems. Formal approaches and model...
184
Voted
UML
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. Aspect-Oriented Modeling (AOM) techniques allow software designers to isolate and address separately solutions for crosscutting concerns (such as security, reliability, n...
174
click to vote
IPPS
2009
IEEE
16 years 1 months ago
2009
IEEE
Given a set of n different deterministic finite state machines (DFSMs) modeling a distributed system, we examine the problem of tolerating f crash or Byzantine faults in such a ...
153
click to vote
IRI
2007
IEEE
16 years 1 months ago
2007
IEEE
Biomedical researchers rely on keyword-based search engines to retrieve superficially relevant documents, from which they must filter out irrelevant information manually. Hence, t...
163
click to vote
HICSS
2003
IEEE
15 years 12 months ago
2003
IEEE
With the growing amount of information being digitized, users find it difficult to obtain the most relevant information that is hidden in the deluge of information returned to the...