1750 search results - page 86 / 350 » E-Commerce Development Procedure |
133
Voted
ESOP
2010
Springer
16 years 28 days ago
2010
Springer
We develop a generic framework for the analysis of programs with recursive procedures and dynamic process creation. To this end we combine the approach of weighted pushdown systems...
119
click to vote
IAT
2009
IEEE
15 years 10 months ago
2009
IEEE
—The import of the notion of institution in the design of MASs requires to develop formal and efficient methods for modeling the interaction between agents’ behaviour and norm...
165
Voted
FROCOS
2009
Springer
15 years 10 months ago
2009
Springer
Temporal logic of knowledge is a combination of temporal and epistemic logic that has been shown to be very useful in areas such as distributed systems, security, and multi-agent s...
120
Voted
IWCF
2009
Springer
15 years 10 months ago
2009
Springer
The Electric Network Frequency (ENF) Criterion is a recently developed forensic technique for determining the time of recording of digital audio recordings, by matching the ENF pat...
116
Voted
ICALT
2008
IEEE
15 years 10 months ago
2008
IEEE
In this paper we present a framework for constructing problem solving environments for assessing procedural knowledge, i.e. the student’s ability to apply his/her knowledge in o...