1188 search results - page 145 / 238 » Testing Semantics: Connecting Processes and Process Logics |
140
click to vote
CSREAESA
2006
15 years 5 months ago
2006
SoPC (System on a Programmable Chip) is one important kind of SoC solution based on PLD (Programmable Logic Device). At the same time, PBD (Platform-based Design) has become popul...
141
click to vote
ESWS
2007
Springer
15 years 10 months ago
2007
Springer
State-of-the-art research on automated learning of ontologies from text currently focuses on inexpressive ontologies. The acquisition of complex axioms involving logical connective...
179
click to vote
ANNS
2010
14 years 11 months ago
2010
Evolving recurrent neural networks for behavior control of robots equipped with larger sets of sensors and actuators is difficult due to the large search spaces that come with the ...
120
click to vote
HICSS
2007
IEEE
15 years 10 months ago
2007
IEEE
Software development is a dynamic process where engineers constantly modify and refine systems. As a consequence, system architecture evolves over time. Software architectural ev...
126
click to vote
FOSAD
2005
Springer
15 years 9 months ago
2005
Springer
Smartcards are trusted personal devices designed to store and process confidential data, and to act as secure tokens for providing access to applications and services. Smartcards ...