3045 search results - page 548 / 609 » Formal Approaches to Software Architecture |
162
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
We have built a system for protecting Internet services to securely connected, known users. It implements a generate-and-test approach for on-line attack identification and uses s...
173
Voted
EGH
2003
Springer
15 years 11 months ago
2003
Springer
—We present a method for using programmable graphics hardware to solve a variety of boundary value problems. The time-evolution of such problems is frequently governed by partial...
184
click to vote
COORDINATION
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. The fact that so many different kinds of coordination models and languages have been proposed suggests that no one single approach will be the best for all coordination p...
144
click to vote
ICDAR
1999
IEEE
15 years 10 months ago
1999
IEEE
PixED (from Pixel to Electronic Document) is aimed at converting document images into structured electronic documents which can be read by a machine for information retrieval. The...
154
click to vote
ICWS
2007
IEEE
15 years 7 months ago
2007
IEEE
Web services provide an instantiation of the loosely coupled service–oriented architecture and facilitate the process of enterprise application integration by encapsulating info...