Sciweavers

846 search results - page 81 / 170
» The Use of Z
Sort
View
MOC
1998
65views more  MOC 1998»
13 years 8 months ago
Solving constrained Pell equations
Consider the system of Diophantine equations x2 − ay2 = b, P (x, y) = z2, where P is a given integer polynomial. Historically, such systems have been analyzed by using Baker’s ...
Kiran S. Kedlaya
SIAMAM
2002
75views more  SIAMAM 2002»
13 years 8 months ago
Finger Formation in Biofilm Layers
A simple single substrate limiting model of a growing biofilm layer is presented. One-dimensional moving front solutions are analyzed. Under certain conditions these solutions are ...
I. Klapper, J. Dockery
TCS
2002
13 years 8 months ago
Automatic verification of real-time systems with discrete probability distributions
We consider the timed automata model of [3], which allows the analysis of realtime systems expressed in terms of quantitative timing constraints. Traditional approaches to real-ti...
Marta Z. Kwiatkowska, Gethin Norman, Roberto Segal...
SIGMOD
2008
ACM
150views Database» more  SIGMOD 2008»
13 years 8 months ago
First workshop on transforming and weaving ontologies in model driven engineering (TWOMDE 2008)
The First International Workshop on Transforming and Weaving Ontologies in Model Driven Engineering (TWOMDE 2008), affiliated with the 11th International Conference on Model Drive...
Fernando Silva Parreiras, Jeff Z. Pan, Uwe Aß...
COMCOM
2011
13 years 4 months ago
Modeling gossip-based content dissemination and search in distributed networking
This paper presents a rigorous analytic study of gossip-based message dissemination schemes that can be employed for content/service dissemination or discovery in unstructured and...
Siyu Tang, Eva Jaho, Ioannis Stavrakakis, Ioannis ...