6800 search results - page 1059 / 1360 » Testing with Functions as Specifications |
194
click to vote
SEMCO
2007
IEEE
16 years 25 days ago
2007
IEEE
One of the key objectives of web service technology is to construct processes that enable service providers to inter-connect with their clients. The industry has developed the UDD...
177
click to vote
SSDBM
2006
IEEE
16 years 17 days ago
2006
IEEE
Signaling pathways are chains of interacting proteins, through which the cell converts a (usually) extracellular signal into a biological response. The number of known signaling p...
168
click to vote
ICALT
2005
IEEE
16 years 5 days ago
2005
IEEE
In this paper we present an architecture dedicated to an intelligently assisted educational tool which integrates within a unified framework software rational agents both at the m...
176
click to vote
ITCC
2005
IEEE
16 years 4 days ago
2005
IEEE
Background: Key management in a mobile ad hoc environment is complicated by frequently partitioning network topology. Recently proposed key management systems (KMSs) provide limit...
169
click to vote
ECAL
2005
Springer
16 years 3 days ago
2005
Springer
An evolutionary reinforcement-learning algorithm, the operation of which was not associated with an optimality condition, was instantiated in an artificial organism. The algorithm ...