Sciweavers

2996 search results - page 389 / 600
» Information Modeling in the Time of the Revolution
Sort
View
SWQD
2012
234views more  SWQD 2012»
14 years 2 months ago
BIM: A Methodology to Transform Business Processes into Software Systems
This manuscript proposes a guiding methodology to obtain a software system that supports the execution of the business processes existing within an organization. The methodology pr...
Francisco J. Duarte, Ricardo Jorge Machado, Jo&ati...
STOC
2006
ACM
141views Algorithms» more  STOC 2006»
16 years 6 months ago
Zero-knowledge against quantum attacks
It is proved that several interactive proof systems are zero-knowledge against general quantum attacks. This includes the Goldreich?Micali?Wigderson classical zero-knowledge proto...
John Watrous
NOMS
2008
IEEE
112views Communications» more  NOMS 2008»
16 years 28 days ago
CyberPlanner: A comprehensive toolkit for network service providers
—With the increased network size and diversity, and the proliferation in applications and services, the network service providers are faced with a flood of information from many...
Raouf Boutaba, Jin Xiao, Issam Aib
AIED
2007
Springer
16 years 22 days ago
The Effect of Problem Templates on Learning in Intelligent Tutoring Systems
: This paper proposes the notion of problem templates (PTs), a concept based on theories of memory and expertise. These mental constructs allow experts to quickly recognise problem...
Moffat Mathews, Antonija Mitrovic
CAI
2007
Springer
16 years 21 days ago
Learning Deterministically Recognizable Tree Series - Revisited
Abstract. We generalize a learning algorithm originally devised for deterministic all-accepting weighted tree automata (wta) to the setting of arbitrary deterministic wta. The lear...
Andreas Maletti