Sciweavers

93 search results - page 13 / 19
» Using conflict theory to model complex societal interactions
Sort
View
ALIFE
2006
14 years 11 months ago
The Origin of the Eukaryotic Cell Based on Conservation of Existing Interfaces
Current theories about the origin of the eukaryotic cell all assume that during evolution a prokaryotic cell acquired a nucleus. Here, it is shown that a scenario in which the nucl...
Albert D. G. de Roos
FM
2009
Springer
154views Formal Methods» more  FM 2009»
14 years 9 months ago
Specification and Verification of Web Applications in Rewriting Logic
Abstract. This paper presents a Rewriting Logic framework that formalizes the interactions between Web servers and Web browsers through icating protocol abstracting HTTP. The propo...
María Alpuente, Demis Ballis, Daniel Romero
POPL
2008
ACM
15 years 12 months ago
Multiparty asynchronous session types
Communication is becoming one of the central elements in software development. As a potential typed foundation for structured communication-centred programming, session types have...
Kohei Honda, Nobuko Yoshida, Marco Carbone
COGSCI
2008
139views more  COGSCI 2008»
14 years 11 months ago
A Computational Model of Early Argument Structure Acquisition
How children go about learning the general regularities that govern language, as well as keeping track of the exceptions to them, remains one of the challenging open questions in ...
Afra Alishahi, Suzanne Stevenson
CCECE
2006
IEEE
15 years 5 months ago
A Dynamic Associative E-Learning Model based on a Spreading Activation Network
Presenting information to an e-learning environment is a challenge, mostly, because ofthe hypertextlhypermedia nature and the richness ofthe context and information provides. This...
Phongchai Nilas, Nilamit Nilas, Somsak Mitatha