4328 search results - page 544 / 866 » A New Kind of Science |
112
click to vote
LICS
2008
IEEE
16 years 1 months ago
2008
IEEE
Individual-based models are a relatively new approach to modelling dynamical systems of interacting entities, for example molecules in a biological cell. Although they are computa...
190
click to vote
LICS
2008
IEEE
16 years 1 months ago
2008
IEEE
Separation logic involves two dual forms of modularity: local reasoning makes part of the store invisible within a static scope, whereas hiding local state makes part of the store...
185
click to vote
LICS
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper presents a new bisimulation theory for parametric polymorphism which enables straightforward coinductive proofs of program equivalences involving existential types. The...
143
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
e-business organizations are under constant threat of their business being disrupted by hackers, viruses and a host of malicious attackers. This would lead to loses to the tune of...
194
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
In order to balance the tensions of the concepts of organizational core competencies and dynamic capability we introduce social knowledge networks as a strategic means from a know...