5189 search results - page 772 / 1038 » Modeling architectural patterns using architectural primitiv... |
191
click to vote
DAC
2000
ACM
16 years 8 months ago
2000
ACM
Image computation is the key step in fixpoint computations that are extensively used in model checking. Two techniques have been used for this step: one based on conjunction of the...
206
click to vote
INFOCOM
2009
IEEE
16 years 1 months ago
2009
IEEE
—In the last few years, long-distance WiFi networks have been used to provide Internet connectivity in rural areas. The strong requirement to support real-time applications in th...
181
click to vote
IAT
2008
IEEE
16 years 1 months ago
2008
IEEE
The use of rational agents for modelling real world problems has both been heavily investigated and become well accepted, with BDI Logic being a widely used architecture to repres...
200
click to vote
ISCAS
2007
IEEE
16 years 1 months ago
2007
IEEE
— This paper describes the hardware architecture for a flexible probability density estimation unit to be used in a Large Vocabulary Speech Recognition System, and targeted for m...
178
click to vote
OTM
2007
Springer
16 years 1 months ago
2007
Springer
Mobile hypermedia applications combine the well-known advantages of the navigational paradigm of the Web with the capabilities of location-aware software. However, there are some s...