3799 search results - page 280 / 760 » An Engineering Approach to Formal Methods |
180
click to vote
AAI
2006
15 years 6 months ago
2006
Enabling and managing coordination activities between autonomous, possibly mobile, computing entities in dynamic computing scenarios challenges traditional approaches to distribut...
175
click to vote
PUC
2008
15 years 6 months ago
2008
: In computing design, experience is often broken down, compartmentalized, and engineered: a process that often disenchants the original experience. In this paper, we demonstrate t...
189
click to vote
ICFCA
2009
Springer
16 years 1 months ago
2009
Springer
Formal concept analysis (FCA) is increasingly applied to data mining problems, essentially as a formal framework for mining reduced representations (bases) of target pattern famili...
173
click to vote
PCI
2001
Springer
15 years 11 months ago
2001
Springer
Formal modeling of complex systems is a non-trivial task, especially if a formal method does not facilitate separate development of the components of a system. This paper describes...
150
click to vote
ICECCS
2007
IEEE
16 years 1 months ago
2007
IEEE
— Modern online multiplayer games are complex heterogeneous distributed systems comprised of servers and untrusted clients, which are often engineered under considerable commerci...