1446 search results - page 146 / 290 » Hardware Software Co-Design Using Functional Languages |
148
click to vote
HOTOS
1999
IEEE
15 years 9 months ago
1999
IEEE
Today's fast-growing data-intensive network services place heavy demands on the backend servers that support them. This paper introduces ISTORE, an intelligent server archite...
168
Voted
FASE
2008
Springer
15 years 6 months ago
2008
Springer
We introduce a logical verification framework for checking functional properties of service-oriented applications formally specified using the service specification language COWS. ...
183
click to vote
BTW
2007
Springer
15 years 11 months ago
2007
Springer
: For the integration of data that resides in autonomous data sources Software AG uses ontologies. Data source ontologies describe the data sources themselves. Business ontologies ...
157
click to vote
EUROMICRO
2009
IEEE
15 years 11 months ago
2009
IEEE
—Real-time systems are increasingly used in dynamic changing environments with variable user needs, hosting real-time applications ranging in number and nature. This paper propos...
160
Voted
ICWE
2009
Springer
15 years 9 months ago
2009
Springer
With the advent of the Web, search has become the prominent paradigm for information seeking, not only across the online space but also within enterprises. Search engine functiona...