6800 search results - page 1059 / 1360 » Testing with Functions as Specifications |
181
click to vote
SEMCO
2007
IEEE
16 years 13 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...
166
Voted
SSDBM
2006
IEEE
16 years 4 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...
166
Voted
ICALT
2005
IEEE
15 years 11 months 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...
169
click to vote
ITCC
2005
IEEE
15 years 11 months 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...
157
click to vote
ECAL
2005
Springer
15 years 11 months 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 ...