7961 search results - page 1019 / 1593 » Input-Output Model Programs |
190
click to vote
FSTTCS
2003
Springer
16 years 15 days ago
2003
Springer
We define a new model called O-PRS that extends the Process Rewrite Systems formalism with a new associative operator, “ ”, that allows to model parallel composition while ke...
178
click to vote
HICSS
2002
IEEE
16 years 7 days ago
2002
IEEE
An application generator has resulted from the authors' efforts to improve the development of interactive database applications. The developed tool is based on a meta-base. T...
208
click to vote
VTS
2002
IEEE
16 years 6 days ago
2002
IEEE
We present a software-based weighted random pattern scheme for testing delay faults in IP cores of programmable SoCs. We describe a method for determining static and transition pr...
197
click to vote
IFIP
2010
Springer
16 years 2 days ago
2010
Springer
This work presents a study about the use of Laban Movement Analysis (LMA) as a robust tool to describe human basic behavior patterns, to be applied in human-machine interaction. LM...
201
click to vote
CIKM
2009
Springer
15 years 12 months ago
2009
Springer
Cloud computing has become a hot topic in the IT industry. Great efforts have been made to establish cloud computing platforms for enterprise users, mostly small businesses. Howe...