Sciweavers

11063 search results - page 179 / 2213
» On the existence of universal models
Sort
View
TIME
2006
IEEE
16 years 15 days ago
In time alone: on the computational power of querying the history
Querying its own history is an important mechanism in the computations, especially those interacting with people or other computations such as transaction processing, electronic d...
Alexei Lisitsa, Igor Potapov
ICALT
2005
IEEE
16 years 3 days ago
Building Repositories of Learning Objects in Specialized Domains: The Chasqui Approach
In this paper we describe the Chasqui approach to the construction of repositories of learning objects (LO) in specific knowledge areas. This approach is the result of our experie...
José Luis Sierra, Alfredo Fernández-...
MOBICOM
2004
ACM
15 years 12 months ago
Characterizing flows in large wireless data networks
Several studies have recently been performed on wireless university campus networks, corporate and public networks. Yet little is known about the flow-level characterization in s...
Xiaoqiao Meng, Starsky H. Y. Wong, Yuan Yuan, Song...
ASPDAC
2007
ACM
139views Hardware» more  ASPDAC 2007»
15 years 10 months ago
Deeper Bound in BMC by Combining Constant Propagation and Abstraction
ound in BMC by Combining Constant Propagation and Abstraction Roy Armoni, Limor Fix1 , Ranan Fraer1 , Tamir Heyman1,3 , Moshe Vardi2 , Yakir Vizel1 , Yael Zbar1 1 Logic and Validat...
Roy Armoni, Limor Fix, Ranan Fraer, Tamir Heyman, ...
IIE
2007
130views more  IIE 2007»
15 years 6 months ago
An Iterative Methodology for Teaching Object Oriented Concepts
Abstract thinking is a vital skill when learning computer science. Object technology and the concepts it is based upon make this skill even more crucial. However, previous research...
Irit Hadar, Ethan Hadar