3483 search results - page 113 / 697 » Using Subject-Oriented Modeling to Develop Jini Applications |
160
click to vote
SIGMOD
2006
ACM
16 years 26 days ago
2006
ACM
Current application development tools provide completely different programming models for the application server (e.g., Java and J2EE) and the client web browser (e.g., JavaScript...
86
Voted
ICCAD
2003
IEEE
15 years 9 months ago
2003
IEEE
Heuristics are widely used for solving computational intractable synthesis problems. However, until now, there has been limited effort to systematically develop heuristics that ca...
115
Voted
COMPSAC
2007
IEEE
15 years 7 months ago
2007
IEEE
An Enterprise Service Bus (ESB) is a standards-based integration platform that combines messaging, web services, data transformation, and intelligent routing in a highly distribut...
132
click to vote
NFM
2011
14 years 7 months ago
2011
Abstract. Event-B is a formal method for modeling and verifying consistency of systems. In formal methods such as Event-B, refinement is the process of enriching or modifying an a...
88
Voted
IJCNN
2007
IEEE
15 years 7 months ago
2007
IEEE
- In this paper, we train a one-layer Theta Neuron Network (TNN) to perform a Braitenberg obstacle avoidance algorithm on a Khepera robot. The Theta neuron model is more biological...